v0.8.2

uzh · Oct 24, 2024 · f8c88db · f8c88db
1 parent c0f91d3
commit f8c88db
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 
 (name pool)
 
-(version 0.8.1)
+(version 0.8.2)
 
 (authors "Department of Economics, University of Zurich")
 

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pool",
-  "version": "0.8.1",
+  "version": "0.8.2",
   "license": "GPL-2.0-or-later",
   "scripts": {
     "build": "export NODE_OPTIONS=--trace-warnings PUBLIC_URL=$PREFIX_PATH/assets/; parcel build resources/index.js resources/images/** --dist-dir public --public-url $PUBLIC_URL && parcel build resources/admin.js --dist-dir public --public-url $PUBLIC_URL",

diff --git a/pool.opam b/pool.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.8.1"
+version: "0.8.2"
 synopsis: "The Z-Pool tool"
 description: """
 

diff --git a/pool.opam.locked b/pool.opam.locked
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.8.1"
+version: "0.8.2"
 synopsis: "The Z-Pool tool"
 description: """
 

diff --git a/pool/version/version.ml b/pool/version/version.ml
@@ -1,2 +1,2 @@
-let to_string = "0.8.1"
+let to_string = "0.8.2"
 let changelog_url = "https://github.com/uzh/z-pool-tool/blob/main/CHANGELOG.md"