gobba/minicaml: require menhir >= 20180528 (--infer-write-query), min…

…icaml: cmdliner with-test lower bound
ocaml · Dec 15, 2024 · 80034f3 · 80034f3
1 parent a46aa33
commit 80034f3
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam
@@ -19,7 +19,7 @@ depends: [
     "ocaml" {>= "4.05.0"}
     "ANSITerminal"
     "ocamline" {>= "1.0" & < "1.2"}
-    "menhir"
+    "menhir" {>= "20180528"}
     "ppx_deriving"
     "cmdliner"
     "alcotest" {with-test & >= "0.8.5"}

diff --git a/packages/gobba/gobba.0.4.2/opam b/packages/gobba/gobba.0.4.2/opam
@@ -21,7 +21,7 @@ depends: [
     "ANSITerminal"
     "ocamline" {>= "1.2"}
     "linenoise" {>= "1.3.0"}
-    "menhir"
+    "menhir" {>= "20180528"}
     "ppx_deriving"
     "cmdliner"
     "owl"

diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam
@@ -17,9 +17,10 @@ depends: [
     "dune" {>= "2.0"}
     "ocaml" {>= "4.05.0"}
     "ANSITerminal"
-    "menhir"
+    "menhir" {>= "20180528"}
     "ppx_deriving"
     "cmdliner"
+    "cmdliner" {with-test & < "1.1.0"}
     "alcotest" {with-test & >= "0.8.5" & < "1.0.0"}
     "bisect_ppx" {>= "1.4.1" & < "2.0.0"}
 ]

diff --git a/packages/minicaml/minicaml.0.4/opam b/packages/minicaml/minicaml.0.4/opam
@@ -18,9 +18,10 @@ depends: [
     "ocaml" {>= "4.05.0"}
     "ANSITerminal"
     "ocamline" {>= "1.0" & < "1.2"}
-    "menhir"
+    "menhir" {>= "20180528"}
     "ppx_deriving"
     "cmdliner"
+    "cmdliner" {with-test & < "1.1.0"}
     "alcotest" {with-test & >= "0.8.5"}
     "bisect_ppx" {>= "1.4.1" & < "2.0.0"}
 ]