haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-03-12 19:56:34 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Update build-constraints.yaml

Browse Source 
Cryptol works with latest SBV release (the ticket referenced is stale.)
This commit is contained in:
Levent Erkok 2015-12-06 19:59:24 -08:00
parent 8434113e2e
commit 0e0e891fc1
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

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