Merge pull request #2868 from proux01/simple_io_819

coq-simple-io.1.8.0 compiles with Coq 8.19+rc1
coq · Dec 20, 2023 · 9eeb2ef · 9eeb2ef
2 parents 937e2e3 + 0a4aa01
commit 9eeb2ef
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.19~"}
+  "coq" {>= "8.11" & < "8.20~"}
   "coq-ext-lib" {>= "0.10.0"}
   "ocamlbuild" {with-test & >= "0.9.0"}
   "cppo" {build & >= "1.6.8"}