From 84f63f29c48a8c37c776218bb311ea02d69f972b Mon Sep 17 00:00:00 2001
From: Olivier Laurent <olivier.laurent@ens-lyon.fr>
Date: Sun, 17 Sep 2023 21:01:24 +0200
Subject: [PATCH] extend version range for coq-yalla

---
 released/packages/coq-yalla/coq-yalla.2.0.4/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-yalla/coq-yalla.2.0.4/opam b/released/packages/coq-yalla/coq-yalla.2.0.4/opam
index c88b3e98a8..59e76121cc 100644
--- a/released/packages/coq-yalla/coq-yalla.2.0.4/opam
+++ b/released/packages/coq-yalla/coq-yalla.2.0.4/opam
@@ -16,7 +16,7 @@ authors: [
 license: "LGPL-3.0-or-later"
 
 depends: [
-  "coq" { >= "8.16" & < "8.18~" }
+  "coq" { >= "8.16" & < "8.19~" }
 ]
 
 build: [