From b5fa021068fe38e7f5fe9403e4eb9bc915dcad04 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 15 Oct 2023 13:18:17 +0200 Subject: [PATCH] coq-qarith-stern-brocot.8.14.0 supports 8.17 --- .../coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.14.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.14.0/opam b/released/packages/coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.14.0/opam index 4842246aac..3c07c43a17 100644 --- a/released/packages/coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.14.0/opam +++ b/released/packages/coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.14.0/opam @@ -15,7 +15,7 @@ field operations on them in two different ways: strict and lazy. build: [make "-j%{jobs}%"] install: [make "install"] depends: [ - "coq" {>= "8.14" & < "8.17~"} + "coq" {>= "8.14" & < "8.18~"} ] tags: [