gobba/minicaml: require cmdliner with Term.const (0.9.8)

ocaml · Dec 15, 2024 · 2d61b60 · 2d61b60
1 parent 80034f3
commit 2d61b60
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam
@@ -21,7 +21,7 @@ depends: [
     "ocamline" {>= "1.0" & < "1.2"}
     "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/gobba/gobba.0.4.2/opam b/packages/gobba/gobba.0.4.2/opam
@@ -23,7 +23,7 @@ depends: [
     "linenoise" {>= "1.3.0"}
     "menhir" {>= "20180528"}
     "ppx_deriving"
-    "cmdliner"
+    "cmdliner" {>= "0.9.8"}
     "owl"
     "owl-base"
     "alcotest" {with-test & >= "0.8.5"}

diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam
@@ -19,7 +19,7 @@ depends: [
     "ANSITerminal"
     "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
@@ -20,7 +20,7 @@ depends: [
     "ocamline" {>= "1.0" & < "1.2"}
     "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"}