From 80034f3a288fc5319a46dee2ef589794c0c79bfb Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 15 Dec 2024 18:33:06 +0100
Subject: [PATCH] gobba/minicaml: require menhir >= 20180528
 (--infer-write-query), minicaml: cmdliner with-test lower bound

---
 packages/gobba/gobba.0.4.1/opam       | 2 +-
 packages/gobba/gobba.0.4.2/opam       | 2 +-
 packages/minicaml/minicaml.0.3.3/opam | 3 ++-
 packages/minicaml/minicaml.0.4/opam   | 3 ++-
 4 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam
index 410fbd99674..bc09c3f850e 100644
--- 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
index 0ec9b80ff8b..4e1d39f22e7 100644
--- 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
index c8f88941967..283a59016b3 100644
--- 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
index c61b54133f4..59ec2c93aa6 100644
--- 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"}
 ]