prepare for 0.5.1

nunchaku-inria · Jun 17, 2018 · 282805f · 282805f
1 parent 15051a4
commit 282805f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nunchaku.opam b/nunchaku.opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "nunchaku"
-version: "dev"
+version: "0.5.1"
 authors: ["Simon Cruanes" "Jasmin Blanchette"]
 maintainer: "[email protected]"
 build: [