From d25b3d94c329268ddfea1d89a59d3edaa873ee48 Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Tue, 15 Feb 2022 11:00:26 +0100
Subject: [PATCH] Issues with Cmdliner 1.1.0, revert to 1.0.4.

---
 .github/workflows/build_make.yml | 3 ---
 alt-ergo.opam                    | 2 +-
 altgr-ergo.opam                  | 2 +-
 dune-project                     | 4 ++--
 4 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/build_make.yml b/.github/workflows/build_make.yml
index b67e87d857..1532c4dc6c 100644
--- a/.github/workflows/build_make.yml
+++ b/.github/workflows/build_make.yml
@@ -56,9 +56,6 @@ jobs:
       - name: opam install deps
         run: opam install ./*.opam --deps-only
 
-      - name: test
-        run: opam list
-
       # make use `dune build` which update .opam file if the dune-project is updated
       - name: Make
         run: opam exec -- make
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)
 )
 )