mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 17:30:27 +03:00
commit
cd0748cc74
@ -64,7 +64,7 @@ library
|
||||
parameterized-utils >= 2.0.2,
|
||||
pretty >= 1.1,
|
||||
process >= 1.2,
|
||||
sbv >= 8.6 && < 8.14,
|
||||
sbv >= 8.6 && < 8.15,
|
||||
simple-smt >= 0.7.1,
|
||||
stm >= 2.4,
|
||||
strict,
|
||||
|
Loading…
Reference in New Issue
Block a user