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