http://beecoder.org/en/linux/how-to-install-cryptol-in-linux
How to Install cryptol , Linux