git.iko.soy/stackage
on master help sign in
Merge pull request #2613 from fpco/sbv-cryptol
b55f878Adam Bergmark
build-constraints.yaml+1−4
compare with master
unifiedsplit
@@ -1283,7 +1283,7 @@ packages:
1283 - language-thrift
1283 - language-thrift
1284
1284
1285 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1285 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1286− - cryptol
1286+ # - cryptol # bounds: sbv
1287 - gitrev
1287 - gitrev
1288 - persistent-refs
1288 - persistent-refs
1289
1289
@@ -3159,9 +3159,6 @@ packages:
3159 # https://github.com/fpco/stackage/issues/2127
3159 # https://github.com/fpco/stackage/issues/2127
3160 - leapseconds-announced < 2017.0.0.1
3160 - leapseconds-announced < 2017.0.0.1
3161
3161
3162− # https://github.com/fpco/stackage/issues/2251
3163− - sbv < 5.15
3164−
3165 # https://github.com/fpco/stackage/issues/2317
3162 # https://github.com/fpco/stackage/issues/2317
3166 - skylighting < 0.2
3163 - skylighting < 0.2
3167
3164