From 0a4aa01e091ebd90181d6f864d27a96f25fc9771 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 20 Dec 2023 12:47:47 +0100
Subject: [PATCH] coq-simple-io.1.8.0 compiles with Coq 8.19+rc1

according to coq-nix-toolbox
---
 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 86dc7ebb83..5f89e2b3c3 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.19~"}
+  "coq" {>= "8.11" & < "8.20~"}
   "coq-ext-lib" {>= "0.10.0"}
   "ocamlbuild" {with-test & >= "0.9.0"}
   "cppo" {build & >= "1.6.8"}