Releax the Coq version restriction in coq-corn.8.16.0

coq · Mar 15, 2023 · 8b6e5dc · 8b6e5dc
1 parent 499b8b3
commit 8b6e5dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-corn/coq-corn.8.16.0/opam b/released/packages/coq-corn/coq-corn.8.16.0/opam
@@ -45,7 +45,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.11" & < "8.17~"}
+  "coq" {>= "8.11" & < "8.18~"}
   "coq-math-classes" {>= "8.8.1"}
   "coq-bignums"
 ]