Disable cryptol #2927

This commit is contained in:
Adam Bergmark 2017-11-25 19:53:58 +01:00
parent c2c147393b
commit 7e91c74bb2

View File

@ -1396,7 +1396,7 @@ packages:
# - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
- cryptol
- cryptol < 0 # Happy setup-depends https://github.com/fpco/stackage/issues/2927
- gitrev
- persistent-refs