fix

math-comp · Nov 14, 2023 · a95cd6c · a95cd6c
1 parent c465144
commit a95cd6c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
@@ -19,7 +19,7 @@ build: [make "-C" "theories" "-j%{jobs}%"]
 install: [make "-C" "theories" "install"]
 depends: [
   "coq-mathcomp-classical" { = version}
-  "coq-mathcomp-solvable" { (>= "1.15.0" & < "1.18~") | (= "dev") }
+  "coq-mathcomp-solvable" { (>= "1.15.0" & < "1.19~") | (= "dev") }
   "coq-mathcomp-field"
   "coq-mathcomp-bigenough" { (>= "1.0.0") }
 ]

diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
@@ -19,7 +19,7 @@ build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
   "coq" { (>= "8.14" & < "8.19~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.13.0" & < "1.18~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.13.0" & < "1.19~") | (= "dev") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }