Merge pull request #3222 from palmskog/finmap-zify-2.3.0

finmap.2.1.0 and zify.1.5.0+2.0+8.16 compat MC 2.3.0, mathcomp-real-closed.2.0.1 not
coq · Nov 30, 2024 · 511da2e · 511da2e
2 parents e8ec448 + fa87395
commit 511da2e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.1.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.2.1.0/opam
@@ -18,7 +18,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.16" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.3~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.4~") | (= "dev") }
 ]
 
 tags: [

diff --git a/released/packages/coq-mathcomp-real-closed/coq-mathcomp-real-closed.2.0.1/opam b/released/packages/coq-mathcomp-real-closed/coq-mathcomp-real-closed.2.0.1/opam
@@ -18,7 +18,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.17" & < "8.21~"}
-  "coq-mathcomp-ssreflect" {>= "2.1.0"}
+  "coq-mathcomp-ssreflect" {>= "2.1.0" & < "2.3.0"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-field"
   "coq-mathcomp-bigenough" {>= "1.0.0"}

diff --git a/released/packages/coq-mathcomp-zify/coq-mathcomp-zify.1.5.0+2.0+8.16/opam b/released/packages/coq-mathcomp-zify/coq-mathcomp-zify.1.5.0+2.0+8.16/opam
@@ -16,7 +16,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {(>= "8.16" & < "8.21~")}
-  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~")}
+  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~")}
   "coq-mathcomp-algebra" 
 ]