Merge pull request #3232 from MSoegtropIMC/relax-coq-mathcomp-algebra…

…-tactics.1.2.3 Relax versions restirctions of coq-mathcomp-algebra-tactics.1.2.3
coq · Dec 5, 2024 · 504588c · 504588c
2 parents bc9a283 + b55b171
commit 504588c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.2.3/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.2.3/opam
@@ -24,7 +24,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"
   "coq-mathcomp-zify" {>= "1.5.0"}
   "coq-elpi" {>= "1.15.0" & != "1.17.0"}