fix

affeldt-aist · Jun 3, 2023 · 85fa3a8 · 85fa3a8
1 parent fdf42c6
commit 85fa3a8
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/coq-infotheo.opam b/coq-infotheo.opam
@@ -22,11 +22,11 @@ build: [
 install: [make "install"]
 depends: [
   "coq" { (>= "8.17" & < "8.18~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.15.0" & < "1.18~") | (= "dev") }
-  "coq-mathcomp-fingroup" { (>= "1.15.0" & < "1.18~") | (= "dev")  }
-  "coq-mathcomp-algebra" { (>= "1.15.0" & < "1.18~") | (= "dev")  }
-  "coq-mathcomp-solvable" { (>= "1.15.0" & < "1.18~") | (= "dev")  }
-  "coq-mathcomp-field" { (>= "1.15.0" & < "1.18~") | (= "dev")  }
+  "coq-mathcomp-ssreflect" { (>= "1.16.0" & < "1.18~") | (= "dev") }
+  "coq-mathcomp-fingroup" { (>= "1.16.0" & < "1.18~") | (= "dev")  }
+  "coq-mathcomp-algebra" { (>= "1.16.0" & < "1.18~") | (= "dev")  }
+  "coq-mathcomp-solvable" { (>= "1.16.0" & < "1.18~") | (= "dev")  }
+  "coq-mathcomp-field" { (>= "1.16.0" & < "1.18~") | (= "dev")  }
   "coq-mathcomp-analysis" { (>= "0.5.4") & (< "0.7~")}
   "coq-hierarchy-builder" { >= "1.3.0" }
 ]

diff --git a/meta.yml b/meta.yml
@@ -53,27 +53,27 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "1.15.0" & < "1.18~") | (= "dev") }'
+    version: '{ (>= "1.16.0" & < "1.18~") | (= "dev") }'
   description: |-
     [MathComp ssreflect](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
-    version: '{ (>= "1.15.0" & < "1.18~") | (= "dev")  }'
+    version: '{ (>= "1.16.0" & < "1.18~") | (= "dev")  }'
   description: |-
     [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{ (>= "1.15.0" & < "1.18~") | (= "dev")  }'
+    version: '{ (>= "1.16.0" & < "1.18~") | (= "dev")  }'
   description: |-
     [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
-    version: '{ (>= "1.15.0" & < "1.18~") | (= "dev")  }'
+    version: '{ (>= "1.16.0" & < "1.18~") | (= "dev")  }'
   description: |-
     [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
-    version: '{ (>= "1.15.0" & < "1.18~") | (= "dev")  }'
+    version: '{ (>= "1.16.0" & < "1.18~") | (= "dev")  }'
   description: |-
     [MathComp field](https://math-comp.github.io)
 - opam: