Merge pull request #3135 from palmskog/deriving-8.20

coq-deriving.0.2.0 works on Coq 8.20
coq · Aug 2, 2024 · dc745c3 · dc745c3
2 parents ddb2064 + f3b902f
commit dc745c3
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.2.0/opam b/released/packages/coq-deriving/coq-deriving.0.2.0/opam
@@ -9,7 +9,7 @@ license: "MIT"
 build: [ make "-j" "%{jobs}%" "test" {with-test} ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.17" & < "8.20~") | (= "dev") }
+  "coq" { (>= "8.17" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" {>= "2.0"}
 ]
 

diff --git a/released/packages/coq-extructures/coq-extructures.0.4.0/opam b/released/packages/coq-extructures/coq-extructures.0.4.0/opam
@@ -14,7 +14,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {(>= "8.17" & < "8.20~")}
+  "coq" {(>= "8.17" & < "8.21~")}
   "coq-mathcomp-ssreflect" {(>= "2.0.0")}
   "coq-deriving" {(>= "0.2.0")}
 ]