diff --git a/alt-ergo.opam b/alt-ergo.opam
index 71e13c34c2..b4b5a484c1 100644
--- 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
index ea3cc05cfd..1aede0f07d 100644
--- 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
index 05be4a05af..1ecd0a3a01 100644
--- 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)
 )
 )