haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-26 13:07:54 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix upper bound: sbv instead of cryptol

Browse Source
This commit is contained in:
Michael Snoyman 2015-09-23 22:00:29 +03:00
parent 46557c5a4e
commit a63d3cf988
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -1507,7 +1507,7 @@ packages:
- postgresql-simple < 0.5 - postgresql-simple < 0.5
# https://github.com/GaloisInc/cryptol/issues/275 # https://github.com/GaloisInc/cryptol/issues/275
- cryptol < 5.0 - sbv < 5.0
# https://github.com/fpco/stackage/issues/856 # https://github.com/fpco/stackage/issues/856
- syb < 0.6 - syb < 0.6