Merge pull request #2699 from palmskog/algebra-tactics-1.1.1-8.18

coq-mathcomp-algebra-tactics.1.1.1 works on Coq 8.18
coq · Sep 2, 2023 · a27883f · a27883f
2 parents 3d650c3 + 0e17e80
commit a27883f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.1/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.1/opam
@@ -21,7 +21,7 @@ ring/field expressions before applying the proof procedures."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.16" & < "8.18~"}
+  "coq" {>= "8.16" & < "8.19~"}
   "coq-mathcomp-ssreflect" {>= "1.15" & < "1.18~"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-zify" {>= "1.1.0"}