-rwxr-xr-x | 7480384 | root |
root |
/usr/bin/hlint
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/hlint-1.7.3
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/hlint-1.7.3
|
-rw-r--r-- | 17992 | root |
root |
/usr/share/doc/hlint-1.7.3/LICENSE
|
-rw-r--r-- | 12350 | root |
root |
/usr/share/hlint-1.7.3/Default.hs
|
-rw-r--r-- | 144 | root |
root |
/usr/share/hlint-1.7.3/Dollar.hs
|
-rw-r--r-- | 145 | root |
root |
/usr/share/hlint-1.7.3/Generalise.hs
|
-rw-r--r-- | 73 | root |
root |
/usr/share/hlint-1.7.3/HLint.hs
|
-rw-r--r-- | 1529 | root |
root |
/usr/share/hlint-1.7.3/Test.hs
|
-rw-r--r-- | 2019 | root |
root |
/usr/share/hlint-1.7.3/hlint.ghci
|
-rw-r--r-- | 3987 | root |
root |
/usr/share/hlint-1.7.3/hs-lint.el
|
-rw-r--r-- | 3406 | root |
root |
/usr/share/hlint-1.7.3/report.html
|
-rw-r--r-- | 720 | root |
root |
/usr/share/man/man1/hlint.1.gz
|