Merge pull request #2681 from palmskog/relax-bounds-8.18

update bounds for jmlcoq and almost-full
coq · Aug 20, 2023 · c311cb6 · c311cb6
2 parents 4fcf35d + c8e3978
commit c311cb6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam b/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam
@@ -14,7 +14,7 @@ Theorem, useful for proving termination."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10" & < "8.16~"}
+  "coq" {>= "8.10" & < "8.19~"}
 ]
 
 tags: [

diff --git a/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam b/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam
@@ -15,7 +15,7 @@ verified runtime assertion checker for JML."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10" & < "8.17~"}
+  "coq" {>= "8.10" & < "8.19~"}
 ]
 
 tags: [

diff --git a/released/packages/coq-ott/coq-ott.0.33/opam b/released/packages/coq-ott/coq-ott.0.33/opam
@@ -17,7 +17,7 @@ this library.
 build: [make "-j%{jobs}%" "-C" "coq"]
 install: [make "-C" "coq" "install"]
 depends: [
-  "coq" {>= "8.5.3"}
+  "coq" {>= "8.6"}
 ]
 conflicts: [
   "ott" { != version }