mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
Remove unnecessary SBV upper bound in cryptol-remote-api
This commit is contained in:
parent
c248320ca5
commit
9fcdb9be21
@ -91,7 +91,7 @@ executable cryptol-remote-api
|
||||
|
||||
build-depends:
|
||||
cryptol-remote-api,
|
||||
sbv < 8.10
|
||||
sbv
|
||||
|
||||
if os(linux) && flag(static)
|
||||
ld-options: -static -pthread
|
||||
@ -108,7 +108,7 @@ executable cryptol-eval-server
|
||||
build-depends:
|
||||
cryptol-remote-api,
|
||||
optparse-applicative,
|
||||
sbv < 8.10
|
||||
sbv
|
||||
|
||||
if os(linux) && flag(static)
|
||||
ld-options: -static -pthread
|
||||
|
Loading…
Reference in New Issue
Block a user