mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-10 20:37:18 +03:00
Allow sbv 8.10
Tested to build fine here.
This commit is contained in:
parent
6181f3213f
commit
a0aa00d15f
@ -65,7 +65,7 @@ library
|
||||
pretty >= 1.1,
|
||||
process >= 1.2,
|
||||
random >= 1.0.1,
|
||||
sbv >= 8.6 && < 8.10,
|
||||
sbv >= 8.6 && < 8.11,
|
||||
simple-smt >= 0.7.1,
|
||||
stm >= 2.4,
|
||||
strict,
|
||||
|
Loading…
Reference in New Issue
Block a user