dist-ghc/build/cryptol/cryptol usr/bin
lib/*.cry usr/share/cryptol/.