Merge pull request #2686 from palmskog/coqprime-libhyps-8.18

allow Coq 8.18 for coq-coqprime.1.3.0 and coq-libhyps.2.0.6
coq · Aug 22, 2023 · eb6e19a · eb6e19a
2 parents 7a9f926 + 3dc5278
commit eb6e19a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam b/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.16~" & < "8.18"}
+  "coq" {>= "8.16~" & < "8.19"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"

diff --git a/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam b/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
@@ -16,7 +16,7 @@ build: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.19~") | (= "dev")}
 ]
 
 tags: [