From a7c669a1d234df7abd3238ce7d2a999141e5e1cc Mon Sep 17 00:00:00 2001
From: Michael Sammler <noreply@sammler.me>
Date: Fri, 29 Nov 2024 17:16:10 +0100
Subject: [PATCH] Allow Coq 8.20 for coq-bbv 1.5

---
 released/packages/coq-bbv/coq-bbv.1.5/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-bbv/coq-bbv.1.5/opam b/released/packages/coq-bbv/coq-bbv.1.5/opam
index 531c51a436..104ba06f7b 100644
--- 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 {