mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 03:19:57 +03:00
Allow sbv 8.17
Tested to build fine here.
This commit is contained in:
parent
d01ba5c7bb
commit
8bf48b275e
@ -64,7 +64,7 @@ library
|
||||
parameterized-utils >= 2.0.2,
|
||||
prettyprinter >= 1.7.0,
|
||||
process >= 1.2,
|
||||
sbv >= 8.10 && < 8.17,
|
||||
sbv >= 8.10 && < 8.18,
|
||||
simple-smt >= 0.9.7,
|
||||
stm >= 2.4,
|
||||
strict,
|
||||
|
Loading…
Reference in New Issue
Block a user