Merge pull request #3221 from aleksnanevski/master

updating dependences for coq-fcsl-pcm, coq-htt, coq-htt-core, to account for mathcomp 2.3.0
coq · Nov 30, 2024 · e8ec448 · e8ec448
2 parents b1deaa9 + 1bb5d80
commit e8ec448
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam b/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam
@@ -22,7 +22,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") }
   "coq-mathcomp-algebra" 
 ]
 
@@ -41,4 +41,4 @@ authors: [
 url {
   src: "https://github.com/imdea-software/fcsl-pcm/archive/v2.0.0.tar.gz"
   checksum: "sha256=ef2828c682217b7340834bcec4a2b245d2bea93cddb56dbc54efbc877680a96c"
-}
+}
diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam
@@ -31,7 +31,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.6"}
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") }
   "coq-mathcomp-algebra" 
   "coq-mathcomp-fingroup" 
   "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }

diff --git a/released/packages/coq-htt/coq-htt.2.0.1/opam b/released/packages/coq-htt/coq-htt.2.0.1/opam
@@ -31,7 +31,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.6"}
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") }
   "coq-mathcomp-algebra" 
   "coq-mathcomp-fingroup" 
   "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }