v0.6.3

uzh · Mar 19, 2024 · 804e99c · 804e99c
1 parent 0e5b617
commit 804e99c
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.6.2)
+(version 0.6.3)
 
 (authors "Department of Economics, University of Zurich")
 

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pool",
-  "version": "0.6.2",
+  "version": "0.6.3",
   "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.6.2"
+version: "0.6.3"
 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.6.2"
+version: "0.6.3"
 synopsis: "The Z-Pool tool"
 description: """
 

diff --git a/pool/version/version.ml b/pool/version/version.ml
@@ -1 +1 @@
-let to_string = "0.6.2"
+let to_string = "0.6.3"