Allow Coq 8.18 for coq-deriving and coq-extructures

coq · Nov 15, 2023 · f5c1aff · f5c1aff
1 parent 0a2af23
commit f5c1aff
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/released/packages/coq-deriving/coq-deriving.0.1.1/opam b/released/packages/coq-deriving/coq-deriving.0.1.1/opam
@@ -9,7 +9,7 @@ license: "MIT"
 build: [ make "-j" "%{jobs}%" "test" {with-test} ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.11" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.11" & < "8.19~") | (= "dev") }
   "coq-mathcomp-ssreflect" {>= "1.11"}
 ]
 

diff --git a/released/packages/coq-extructures/coq-extructures.0.3.1/opam b/released/packages/coq-extructures/coq-extructures.0.3.1/opam
@@ -14,7 +14,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {(>= "8.11" & < "8.18~")}
+  "coq" {(>= "8.11" & < "8.19~")}
   "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.19~")}
   "coq-deriving" {(>= "0.1" & < "0.2~")}
 ]