Merge pull request #2758 from pi8027/coq-mathcomp-algebra-tactics_dep…

…endencies coq-mathcomp-algebra-tactics 1.0.0 and 1.1.0 are compatible with MathComp 1.17.0
coq · Oct 12, 2023 · 5900413 · 5900413
2 parents 1537e65 + 333bc2d
commit 5900413
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam
@@ -20,7 +20,7 @@ build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
   "coq" {(>= "8.13" & < "8.18~")}
-  "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.17~")}
+  "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.18~")}
   "coq-mathcomp-algebra"
   "coq-mathcomp-zify" {(>= "1.1.0")}
   "coq-elpi" {(>= "1.10.1" & != "1.17.0")}

diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam
@@ -22,7 +22,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.16" & < "8.18~"}
-  "coq-mathcomp-ssreflect" {>= "1.15" & < "1.17~"}
+  "coq-mathcomp-ssreflect" {>= "1.15" & < "1.18~"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-zify" {>= "1.1.0"}
   "coq-elpi" {>= "1.15.0" & != "1.17.0"}