Disable cryptol because of #2927

This commit is contained in:
Mihai Maruseac 2017-10-02 18:12:35 -07:00
parent 4151645fc8
commit 1796d19071

View File

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