Remove sbv upper bound

This commit is contained in:
Adam Bergmark 2015-12-25 13:59:42 +01:00
parent ffb1eb6d91
commit 9301c14e25

View File

@ -1820,9 +1820,6 @@ packages:
# https://github.com/fpco/stackage/issues/537
- zlib < 0.6
# https://github.com/GaloisInc/cryptol/issues/275
- sbv < 5.0
# https://github.com/joelwilliamson/bimap/pull/4
- bimap < 0.3.1