diff options
| author | Brian Campbell | 2021-03-12 19:18:12 +0000 |
|---|---|---|
| committer | Brian Campbell | 2021-03-12 19:19:46 +0000 |
| commit | d6ed84c89bf5d6e6ecd836fa123eafd442215c41 (patch) | |
| tree | d0dd694328898e3a2a02efcf4d25d06f3a878025 | |
| parent | c0bf98b67870a9bdcca196786791f6eb134df0d4 (diff) | |
coq-bbv dependency should be a lower bound
| -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" |