haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-25 12:37:55 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #2613 from fpco/sbv-cryptol

Browse Source 
Upgrade sbv & disable cryptol, closes #2251
This commit is contained in:
Adam Bergmark 2017-06-29 15:07:39 +02:00 committed by GitHub
commit b55f878241
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
build-constraints.yaml
View File

@ -1283,7 +1283,7 @@ packages:
- language-thrift - language-thrift
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer": "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
- cryptol # - cryptol # bounds: sbv
- gitrev - gitrev
- persistent-refs - persistent-refs
@ -3159,9 +3159,6 @@ packages:
# https://github.com/fpco/stackage/issues/2127 # https://github.com/fpco/stackage/issues/2127
- leapseconds-announced < 2017.0.0.1 - leapseconds-announced < 2017.0.0.1
# https://github.com/fpco/stackage/issues/2251
- sbv < 5.15
# https://github.com/fpco/stackage/issues/2317 # https://github.com/fpco/stackage/issues/2317
- skylighting < 0.2 - skylighting < 0.2