This commit is contained in:
Levent Erkok 2015-12-17 07:51:06 +00:00
commit 659ab4ab21

View File

@ -1752,9 +1752,6 @@ packages:
- postgresql-binary < 0.7.4 - postgresql-binary < 0.7.4
- hasql < 0.14.0.2 - hasql < 0.14.0.2
# https://github.com/GaloisInc/cryptol/issues/275
- sbv < 5.0
# https://github.com/fpco/stackage/issues/856 # https://github.com/fpco/stackage/issues/856
- syb < 0.6 - syb < 0.6