Moving to version 2.4.2

OCamlPro · Aug 2, 2022 · fe2e1c6 · fe2e1c6
1 parent 2aee456
commit fe2e1c6
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "2.4.2"
 synopsis: "The Alt-Ergo SMT prover library"
 description: """
 This is the core library used in the Alt-Ergo SMT solver.

diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "2.4.2"
 synopsis: "The Alt-Ergo SMT prover parser library"
 description: """
 This is the parser library used in the Alt-Ergo SMT solver.

diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "2.4.2"
 synopsis: "The Alt-Ergo SMT prover"
 description: """
 Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.

diff --git a/altgr-ergo.opam b/altgr-ergo.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "dev"
+version: "2.4.2"
 synopsis: "The GUI for the Alt-Ergo SMT prover"
 description: """
 Altgr-Ergo is the graphical interface for the Alt-Ergo SMT prover.

diff --git a/dune-project b/dune-project
@@ -5,7 +5,7 @@
 (generate_opam_files true)
 
 (name alt-ergo)
-(version dev)
+(version 2.4.2)
 (authors "Alt-Ergo developers")
 (maintainers "Alt-Ergo developers")
 (source (github OCamlPro/alt-ergo))