Merge pull request #2755 from hilyun07/master

paco supports coq 8.18.x
coq · Oct 11, 2023 · 22309b8 · 22309b8
2 parents 7cad82a + fcec25b
commit 22309b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-paco/coq-paco.4.2.0/opam b/released/packages/coq-paco/coq-paco.4.2.0/opam
@@ -15,7 +15,7 @@ license: "BSD-3-Clause"
 build: [make "-C" "src" "all" "-j%{jobs}%"]
 install: [make "-C" "src" "-f" "Makefile.coq" "install"]
 depends: [
-  "coq" {>= "8.13" & < "8.18~"}
+  "coq" {>= "8.13" & < "8.19~"}
 ]
 tags: [
   "date:2023-03-13"