@@ -1378,7 +1378,7 @@ packages:
1378 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1378 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1380 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1380 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1381− - cryptol
1381+ # cryptol # https://github.com/fpco/stackage/issues/2927
1382 - gitrev
1382 - gitrev
1383 - persistent-refs
1383 - persistent-refs