@@ -1282,7 +1282,7 @@ packages:
12821282 - language-thrift
12831283
12841284 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1285− - cryptol
1285+ # - cryptol # bounds: sbv
12861286 - gitrev
12871287 - persistent-refs
12881288
@@ -3157,9 +3157,6 @@ packages:
31573157 # https://github.com/fpco/stackage/issues/2127
31583158 - leapseconds-announced < 2017.0.0.1
31593159
3160− # https://github.com/fpco/stackage/issues/2251
3161− - sbv < 5.15
3162−
31633160 # https://github.com/fpco/stackage/issues/2317
31643161 - skylighting < 0.2
31653162