coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, and coq-graph-theory.0.…

…9.2 are compatible with MC 1.18.0
coq · Nov 1, 2023 · 394a2f6 · 394a2f6
1 parent 6e0612f
commit 394a2f6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam b/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {>= "8.14" & < "8.19~"}
-  "coq-mathcomp-ssreflect" {>= "1.13" & < "1.18~"}
+  "coq-mathcomp-ssreflect" {>= "1.13" & < "1.19~"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-finmap" 
   "coq-hierarchy-builder" {>= "1.1.0"}

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam
@@ -18,7 +18,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.13" & < "8.19~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.18~") | (= "dev") }
+  "coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.19~"}
 ]
 
 tags: [

diff --git a/released/packages/coq-reglang/coq-reglang.1.1.3/opam b/released/packages/coq-reglang/coq-reglang.1.1.3/opam
@@ -19,7 +19,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.10" & < "8.19"}
-  "coq-mathcomp-ssreflect" {>= "1.11" & < "1.18"}
+  "coq-mathcomp-ssreflect" {>= "1.11" & < "1.19"}
 ]
 
 tags: [