Merge pull request #3257 from palmskog/coqeal-2.0.2-mc-2.3

coq-coqeal.2.0.2 is not compatible with MathComp 2.3.0
coq · Dec 14, 2024 · 9e40d6b · 9e40d6b
2 parents 6256cf2 + 7133e84
commit 9e40d6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam b/released/packages/coq-coqeal/coq-coqeal.2.0.2/opam
@@ -21,7 +21,7 @@ depends: [
   "coq-bignums" 
   "coq-paramcoq" {>= "1.1.3"}
   "coq-hierarchy-builder" {>= "1.4.0"}
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.3"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-multinomials" {>= "2.0"}
   "coq-mathcomp-real-closed" {>= "2.0"}