Merge pull request #2700 from palmskog/mc-bounds

Upper MathComp bounds for some packages
coq · Sep 3, 2023 · dc80ac3 · dc80ac3
2 parents bfbfd8d + c570b5c
commit dc80ac3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/released/packages/coq-algorand/coq-algorand.1.4/opam b/released/packages/coq-algorand/coq-algorand.1.4/opam
@@ -18,9 +18,9 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.14"}
-  "coq-mathcomp-ssreflect" {>= "1.14"}
+  "coq-mathcomp-ssreflect" {>= "1.14" & < "2.0"}
   "coq-mathcomp-algebra" 
-  "coq-mathcomp-finmap" {>= "1.5.1"}
+  "coq-mathcomp-finmap" {>= "1.5.1" & < "2.0"}
   "coq-mathcomp-analysis" {>= "0.5.0"}
   "coq-mathcomp-zify" 
   "coq-record-update" 

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"}
 ]