Update cmdliner constraints

formalsec · Jan 2, 2024 · 72b3e33 · 72b3e33
1 parent 0eb6727
commit 72b3e33
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -25,7 +25,7 @@
    (ocaml (>= "4.14.0"))
    (z3 (and (>= "4.12.2") (< "4.13")))
    menhir
-   cmdliner
+   (cmdliner (>= "1.2.0"))
    (zarith (>= "1.5"))
    (ppx_inline_test :with-test)
    (odoc :with-doc)))
diff --git a/encoding.opam b/encoding.opam
@@ -13,7 +13,7 @@ depends: [
   "ocaml" {>= "4.14.0"}
   "z3" {>= "4.12.2" & < "4.13"}
   "menhir"
-  "cmdliner"
+  "cmdliner" {>= "1.2.0"}
   "zarith" {>= "1.5"}
   "ppx_inline_test" {with-test}
   "odoc" {with-doc}