Merge pull request #2888 from palmskog/coqprime-backward-compat

allow >= 8.14 for coqprime 1.3.0 and 1.4.0
coq · Jan 7, 2024 · ce99a1a · ce99a1a
2 parents 2610d6e + d439d1d
commit ce99a1a
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.19"}
+  "coq" {>= "8.14" & < "8.19"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"

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.20"}
+  "coq" {>= "8.14" & < "8.20"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"