coq-qarith-stern-brocot.8.14.0 supports 8.17

coq · Oct 15, 2023 · b5fa021 · b5fa021
1 parent 01eb7b3
commit b5fa021
Showing 1 changed file with 1 addition and 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
@@ -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: [