Merge pull request #2881 from palmskog/8.19-supported-2

compatibility status for 8.19 for coqprime and coq-ott
coq · Dec 28, 2023 · 01ad21d · 01ad21d
2 parents 5b7f7d3 + d848252
commit 01ad21d
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.4.0/opam b/released/packages/coq-coqprime/coq-coqprime.1.4.0/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.18~" & < "8.19"}
+  "coq" {>= "8.18~" & < "8.20"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"

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.6"}
+  "coq" {>= "8.6" & < "8.19"}
 ]
 conflicts: [
   "ott" { != version }