Update opam file

herd · May 4, 2022 · f544fd4 · f544fd4
1 parent a5a5d53
commit f544fd4
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/herdtools7.opam b/herdtools7.opam
@@ -1,8 +1,5 @@
 opam-version: "2.0"
-name: "herdtools7"
-version: "7.56.1"
 synopsis: "The herdtools suite for simulating and studying weak memory models"
-description: ""
 maintainer: "Luc Maranget <Luc.Maranget@inria.fr>"
 authors: [
   "Luc Maranget <Luc.Maranget@inria.fr>"
@@ -19,6 +16,5 @@ install: ["sh" "./dune-install.sh" "%{prefix}%"]
 depends: [
   "ocaml" {>= "4.05.0"}
   "dune"  {>= "1.4" }
-  "ocamlfind" { build }
-  "menhir" {>= "20180530"}
+  "menhir" {>= "20181026"}
 ]