Merge pull request #2706 from bacam/coq-bbv-1.3-upper-bound

BBV 1.3 isn't compatible with recent Coq versions
coq · Sep 7, 2023 · 6a8defd · 6a8defd
2 parents 6ec9dd9 + 18eacde
commit 6a8defd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-bbv/coq-bbv.1.3/opam b/released/packages/coq-bbv/coq-bbv.1.3/opam
@@ -27,7 +27,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.7~"}
+  "coq" {>= "8.7~" & < "8.17~"}
 ]
 synopsis: "An implementation of bitvectors in Coq."
 url {