From b35b81d7c2c197dde4f5fee7a34019a6585504db Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 16 Dec 2024 00:17:28 +0100
Subject: [PATCH] gobba and minicaml bounds

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

diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam
index 410fbd99674..d53296f00d6 100644
--- a/packages/gobba/gobba.0.4.1/opam
+++ b/packages/gobba/gobba.0.4.1/opam
@@ -19,9 +19,9 @@ depends: [
     "ocaml" {>= "4.05.0"}
     "ANSITerminal"
     "ocamline" {>= "1.0" & < "1.2"}
-    "menhir"
+    "menhir" {>= "20180528"}
     "ppx_deriving"
-    "cmdliner"
+    "cmdliner" {>= "0.9.8"}
     "alcotest" {with-test & >= "0.8.5"}
     "bisect_ppx" {>= "1.4.1" & < "2.6.0"}
 ]
diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam
index c8f88941967..176fb21b986 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" {>= "0.9.8"}
+    "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..d2db3fed22b 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" {>= "0.9.8"}
+    "cmdliner" {with-test & < "1.1.0"}
     "alcotest" {with-test & >= "0.8.5"}
     "bisect_ppx" {>= "1.4.1" & < "2.0.0"}
 ]