diff options
| -rw-r--r-- | coq-sail.opam | 2 |
1 files changed, 1 insertions, 1 deletions
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" |