From ca084300e7b7a2ec833f27228e1d24c07fd17c2a Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Mon, 22 Apr 2024 02:20:32 +0900
Subject: [PATCH] fix

---
 coq-infotheo.opam | 8 ++++----
 meta.yml          | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/coq-infotheo.opam b/coq-infotheo.opam
index b0d9fef8..68dc2dd5 100644
--- a/coq-infotheo.opam
+++ b/coq-infotheo.opam
@@ -23,10 +23,10 @@ install: [make "install"]
 depends: [
   "coq" { (>= "8.17" & < "8.20~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.0.0") | (= "dev") }
-  "coq-mathcomp-fingroup" { (>= "2.2.0") | (= "dev")  }
-  "coq-mathcomp-algebra" { (>= "2.2.0") | (= "dev")  }
-  "coq-mathcomp-solvable" { (>= "2.2.0") | (= "dev")  }
-  "coq-mathcomp-field" { (>= "2.2.0" & < "1.20.0") | (= "dev")  }
+  "coq-mathcomp-fingroup" { (>= "2.0.0") | (= "dev")  }
+  "coq-mathcomp-algebra" { (>= "2.0.0") | (= "dev")  }
+  "coq-mathcomp-solvable" { (>= "2.0.0") | (= "dev")  }
+  "coq-mathcomp-field" { (>= "2.0.0") | (= "dev")  }
   "coq-mathcomp-analysis" { (>= "1.0.0") }
   "coq-hierarchy-builder" { >= "1.5.0" }
   "coq-mathcomp-algebra-tactics" { >= "1.2.0" }
diff --git a/meta.yml b/meta.yml
index 0b595933..e45f43ba 100644
--- a/meta.yml
+++ b/meta.yml
@@ -68,22 +68,22 @@ dependencies:
     [MathComp ssreflect](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
-    version: '{ (>= "2.2.0") | (= "dev")  }'
+    version: '{ (>= "2.0.0") | (= "dev")  }'
   description: |-
     [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{ (>= "2.2.0") | (= "dev")  }'
+    version: '{ (>= "2.0.0") | (= "dev")  }'
   description: |-
     [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
-    version: '{ (>= "2.2.0") | (= "dev")  }'
+    version: '{ (>= "2.0.0") | (= "dev")  }'
   description: |-
     [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
-    version: '{ (>= "2.2.0" & < "1.20.0") | (= "dev")  }'
+    version: '{ (>= "2.0.0") | (= "dev")  }'
   description: |-
     [MathComp field](https://math-comp.github.io)
 - opam: