fix CI

affeldt-aist · Nov 20, 2023 · e660b32 · e660b32
1 parent b9e1e54
commit e660b32
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-infotheo.opam b/coq-infotheo.opam
@@ -27,7 +27,7 @@ depends: [
   "coq-mathcomp-algebra" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
   "coq-mathcomp-solvable" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
   "coq-mathcomp-field" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
-  "coq-mathcomp-analysis" { (>= "0.5.4") & (< "0.7~")}
+  "coq-mathcomp-analysis" { (>= "0.6.0") & (< "0.7~")}
   "coq-hierarchy-builder" { = "1.5.0" }
   "coq-mathcomp-algebra-tactics" { = "1.1.1" }
 ]

diff --git a/meta.yml b/meta.yml
@@ -82,7 +82,7 @@ dependencies:
     [MathComp field](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-analysis
-    version: '{ (>= "0.5.4") & (< "0.7~")}'
+    version: '{ (>= "0.6.0") & (< "0.7~")}'
   description: |-
     [MathComp analysis](https://github.com/math-comp/analysis)
 - opam: