summaryrefslogtreecommitdiff
path: root/p/haskell-cryptol/debian
ModeNameSize
-rw-r--r--changelog932logplain
-rw-r--r--compat2logplain
-rw-r--r--control3858logplain
-rw-r--r--copyright1871logplain
-rw-r--r--cryptol.install69logplain
-rw-r--r--cryptol.lintian-overrides30logplain
-rwxr-xr-xrules198logplain
d---------source34logplain
-rw-r--r--watch126logplain