From f92f561b1b7032e54d6b0a3018fed6cc13b24bd4 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Wed, 20 Dec 2023 11:50:05 +0100 Subject: [PATCH] pocklington compiles with Coq 8.17 and 8.18 according to coq-nix-toolbox --- released/packages/coq-pocklington/coq-pocklington.8.12.0/opam | 2 +- 1 file changed, 1 insertion(+), 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 index 320379122a..063edb0a2d 100644 --- 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: [