Disable cryptol because of #2927
commit1796d190717bea49f0d6d4df3e97154c34f7844c
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateMon 2 Oct 2017, 18:12 (9 years ago)
parent4151645
build-constraints.yaml+1−1
@@ -1378,7 +1378,7 @@ packages:
13781378 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
13791379
13801380 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1381− - cryptol
1381+ # cryptol # https://github.com/fpco/stackage/issues/2927
13821382 - gitrev
13831383 - persistent-refs
13841384