From d6ed84c89bf5d6e6ecd836fa123eafd442215c41 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 12 Mar 2021 19:18:12 +0000
Subject: coq-bbv dependency should be a lower bound

---
 coq-sail.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-sail.opam b/coq-sail.opam
index bd770ee9..0e140e83 100644
--- a/coq-sail.opam
+++ b/coq-sail.opam
@@ -22,7 +22,7 @@ build: [make "-C" "lib/coq"]
 install: [make "-C" "lib/coq" "install"]
 depends: [
   "coq" {>= "8.9.0"}
-  "coq-bbv" {= "1.1"}
+  "coq-bbv" {>= "1.1"}
 ]
 synopsis:
   "Support library for Sail, a language for describing the instruction semantics of processors"
-- 
cgit v1.2.3