Merge pull request #3219 from MackieLoeffel/coq-bbv-8.20

Allow Coq 8.20 for coq-bbv 1.5
coq · Nov 30, 2024 · b1deaa9 · b1deaa9
2 parents f9e931d + a7c669a
commit b1deaa9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-bbv/coq-bbv.1.5/opam b/released/packages/coq-bbv/coq-bbv.1.5/opam
@@ -27,7 +27,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.16" & < "8.20~"}
+  "coq" {>= "8.16" & < "8.21~"}
 ]
 synopsis: "An implementation of bitvectors in Coq."
 url {