coq-disel.2.3 is not compatible with mathcomp 2.0

coq · Sep 3, 2023 · c570b5c · c570b5c
1 parent bfda645
commit c570b5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-disel/coq-disel.2.3/opam b/released/packages/coq-disel/coq-disel.2.3/opam
@@ -20,7 +20,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {>= "8.14"}
-  "coq-mathcomp-ssreflect" {>= "1.13"}
+  "coq-mathcomp-ssreflect" {>= "1.13" & < "2.0"}
   "coq-fcsl-pcm" {>= "1.7.0"}
   "coq-htt" {>= "1.2.0"}
 ]