Set correct version of the package in opam file

mattam82 · Sep 23, 2021 · edb44da · edb44da
1 parent 3f774b4
commit edb44da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-equations.opam b/coq-equations.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "1.3+8.14"
 authors: [ "Matthieu Sozeau <[email protected]>" "Cyprien Mangin <[email protected]>" ]
 dev-repo: "git+https://github.com/mattam82/Coq-Equations.git"
 maintainer: "[email protected]"