on master help sign in
cryptol still fails
bf3dac1Mihai Maruseac
build-constraints.yaml+1−1
@@ -1377,7 +1377,7 @@ packages:
1377 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1377 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1378
1378
1379 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1379 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1380− - cryptol # https://github.com/fpco/stackage/issues/2927
1380+ # cryptol # https://github.com/fpco/stackage/issues/2927
1381 - gitrev
1381 - gitrev
1382 - persistent-refs
1382 - persistent-refs
1383
1383