pocklington compiles with Coq 8.17 and 8.18

according to coq-nix-toolbox
proux01 · Dec 20, 2023 · f92f561 · f92f561
1 parent 71a0ca6
commit f92f561
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-pocklington/coq-pocklington.8.12.0/opam b/released/packages/coq-pocklington/coq-pocklington.8.12.0/opam
@@ -14,7 +14,7 @@ large natural numbers. Includes a formal proof of Fermat's little theorem."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.7" & < "8.17~"}
+  "coq" {>= "8.7" & < "8.19~"}
 ]
 
 tags: [