From 5e85511d67ddbcaa4e0f2cb099f067b12a3255c2 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Wed, 15 Nov 2023 13:45:48 +0100
Subject: [PATCH] Allow Coq 8.18 for coq-simple-io.1.8.0

---
 released/packages/coq-simple-io/coq-simple-io.1.8.0/opam | 2 +-
 1 file changed, 1 insertion(+), 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
index d16093dc1..86dc7ebb8 100644
--- 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"}