Disable cryptol #2927
commit7e91c74bb2f620fec06af6891f508c95912cc7ff
authorAdam Bergmark <adam@bergmark.nl>
dateSat 25 Nov 2017, 19:53 (9 years ago)
parentc2c1473
build-constraints.yaml+1−1
@@ -1396,7 +1396,7 @@ packages:
13961396 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
13971397
13981398 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1399− - cryptol
1399+ - cryptol < 0 # Happy setup-depends https://github.com/fpco/stackage/issues/2927
14001400 - gitrev
14011401 - persistent-refs
14021402