Issues with Cmdliner 1.1.0, revert to 1.0.4.

OCamlPro · Feb 15, 2022 · 76cf4dc · 76cf4dc
1 parent 33c1abd
commit 76cf4dc
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -17,7 +17,7 @@ depends: [
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}
   "menhir"
-  "cmdliner"
+  "cmdliner" {= "1.0.4"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

diff --git a/altgr-ergo.opam b/altgr-ergo.opam
@@ -20,7 +20,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "lablgtk"
   "conf-gtksourceview"
-  "cmdliner"
+  "cmdliner" {= "1.0.4"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

diff --git a/dune-project b/dune-project
@@ -29,7 +29,7 @@ See more details on https://alt-ergo.ocamlpro.com/")
   (alt-ergo-lib (= :version))
   (alt-ergo-parsers (= :version))
    menhir
-   cmdliner
+   (cmdliner (= 1.0.4))
   (odoc :with-doc)
   )
 )
@@ -55,7 +55,7 @@ See more details on https://alt-ergo.ocamlpro.com/"
   (alt-ergo-parsers (= :version))
   lablgtk
   conf-gtksourceview
-  cmdliner
+  (cmdliner (= 1.0.4)) 
   (odoc :with-doc)
 )
 )