Allow Coq 8.18 for coq-simple-io.1.8.0

coq · Nov 15, 2023 · 5e85511 · 5e85511
1 parent 0a2af23
commit 5e85511
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam b/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam
@@ -13,7 +13,7 @@ build: [
 depends: [
   "ocaml" {>= "4.08.0"}
   "ocamlfind"
-  "coq" {>= "8.11" & < "8.18~"}
+  "coq" {>= "8.11" & < "8.19~"}
   "coq-ext-lib" {>= "0.10.0"}
   "ocamlbuild" {with-test & >= "0.9.0"}
   "cppo" {build & >= "1.6.8"}