Merge pull request coq#3121 from palmskog/mc-classical-1.2.0-8.20

coq-mathcomp-classical.1.2.0 (and analysis-1.2.0) works on Coq 8.20
inQWIRE · Jul 27, 2024 · 526a734 · 526a734
2 parents e9058fa + 1ef805a
commit 526a734
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
@@ -14,7 +14,7 @@ the Coq proof-assistant and using the Mathematical Components library."""
 build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
-  "coq" { (>= "8.18" & < "8.20~") | (= "dev") }
+  "coq" { (>= "8.18" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.1.0") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"