@@ -1283,7 +1283,7 @@ packages:
12831283 - language-thrift
12841284
12851285 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1286− - cryptol
1286+ # - cryptol # bounds: sbv
12871287 - gitrev
12881288 - persistent-refs
12891289
@@ -3159,9 +3159,6 @@ packages:
31593159 # https://github.com/fpco/stackage/issues/2127
31603160 - leapseconds-announced < 2017.0.0.1
31613161
3162− # https://github.com/fpco/stackage/issues/2251
3163− - sbv < 5.15
3164−
31653162 # https://github.com/fpco/stackage/issues/2317
31663163 - skylighting < 0.2
31673164