cryptol still fails
commitbf3dac17b0af2e1ef90c16972b03b4b396d8d0e5
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateSat 7 Oct 2017, 08:38 (9 years ago)
parent6a0db9a
build-constraints.yaml+1−1
@@ -1377,7 +1377,7 @@ packages:
13771377 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
13781378
13791379 "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
13811381 - gitrev
13821382 - persistent-refs
13831383