index
:
DHG_packages
master
[no description]
Dyson
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
p
/
haskell-cryptol
/
debian
/
cryptol.install
blob: a08a070d9dced1e1d324ec67d65876f5bfa7e5fa (
plain
)
1
2
dist-ghc/build/cryptol/cryptol usr/bin lib/*.cry usr/share/cryptol/.
