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"}
 ]