[release] Bump version number

Also simplify .opam file by removing optional dependency.
herd · Apr 29, 2024 · a2c7efe · a2c7efe
1 parent b89ab3a
commit a2c7efe
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/VERSION.txt b/VERSION.txt
@@ -1 +1 @@
-7.56+03
+7.57
diff --git a/herdtools7.opam b/herdtools7.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "herdtools7"
-version: "7.56+04~dev"
+version: "7.57"
 synopsis: "The herdtools suite for simulating and studying weak memory models"
 maintainer: "Luc Maranget <[email protected]>"
 authors: [
@@ -22,10 +22,7 @@ depends: [
   "menhir" {>= "20200123"}
   "zarith"
 ]
-depopts: [
-  "js_of_ocaml-ppx"
-]
 conflicts: ["ocaml-option-bytecode-only"]
 url {
-  src: "https://github.com/herd/herdtools7/"
+  src: "https://github.com/herd/herdtools7/archive/refs/tags/7.57.tar.gz"
 }