Versioning 2.4.1

OCamlPro · Jul 27, 2021 · 81cb566 · 81cb566
1 parent 2d0595a
commit 81cb566
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 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: "2.4.0"
+version: "2.4.1"
 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: "2.4.0"
+version: "2.4.1"
 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: "2.4.0"
+version: "2.4.1"
 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: "2.4.0"
+version: "2.4.1"
 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 2.4.0)
+(version 2.4.1)
 (authors "Alt-Ergo developers")
 (maintainers "Alt-Ergo developers")
 (source (github OCamlPro/alt-ergo))

diff --git a/src/lib/util/version.ml b/src/lib/util/version.ml
@@ -30,7 +30,7 @@
    DO NOT CHANGE its format *)
 
 
-let _version="2.4.0"
+let _version="2.4.1"
 
 let _release_commit = "(not released)"