coq-zorn-lemmas.10.2.0 compiles with Coq 8.19+rc1

according to coq-nix-toolbox
proux01 · Dec 20, 2023 · ad3905c · ad3905c
1 parent 71a0ca6
commit ad3905c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-zorns-lemma/coq-zorns-lemma.10.2.0/opam b/released/packages/coq-zorns-lemma/coq-zorns-lemma.10.2.0/opam
@@ -16,7 +16,7 @@ was as support for the Topology library.
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
-  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.12" & < "8.20~") | (= "dev")}
 ]
 
 tags: [