Merge pull request #2729 from olaure01/yalla

[coq-yalla] extend version range to coq 8.18
coq · Sep 17, 2023 · 01822fb · 01822fb
2 parents e403099 + 84f63f2
commit 01822fb
Showing 1 changed file with 1 addition and 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
@@ -16,7 +16,7 @@ authors: [
 license: "LGPL-3.0-or-later"
 
 depends: [
-  "coq" { >= "8.16" & < "8.18~" }
+  "coq" { >= "8.16" & < "8.19~" }
 ]
 
 build: [