-rwxr-xr-x | 1006748 | root |
root |
/usr/bin/lhs2TeX
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/lhs2tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/man
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/lhs2tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/lhs2tex-1.12
|
-rw-r--r-- | 319611 | root |
root |
/usr/share/doc/lhs2tex-1.12/Guide2.pdf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/lhs2tex/Examples
|
-rw-r--r-- | 319611 | root |
root |
/usr/share/doc/lhs2tex/Guide2.pdf
|
-rw-r--r-- | 1079 | root |
root |
/usr/share/doc/lhs2tex/LICENSE
|
-rw-r--r-- | 1582 | root |
root |
/usr/share/doc/lhs2tex/RELEASE
|
-rw-r--r-- | 735 | root |
root |
/usr/share/doc/lhs2tex/Examples/Calc.lhs
|
-rw-r--r-- | 704 | root |
root |
/usr/share/doc/lhs2tex/Examples/CalcExample.lhs
|
-rw-r--r-- | 1437 | root |
root |
/usr/share/doc/lhs2tex/Examples/FormatAlign.lhs
|
-rw-r--r-- | 217 | root |
root |
/usr/share/doc/lhs2tex/Examples/HelloWorld.lhs
|
-rw-r--r-- | 2422 | root |
root |
/usr/share/doc/lhs2tex/Examples/MaxSegment.lhs
|
-rw-r--r-- | 394 | root |
root |
/usr/share/doc/lhs2tex/Examples/NewCode.lhs
|
-rw-r--r-- | 2108 | root |
root |
/usr/share/doc/lhs2tex/Examples/Sort.lhs
|
-rw-r--r-- | 199 | root |
root |
/usr/share/doc/lhs2tex/Examples/TestPoly.lhs
|
-rw-r--r-- | 4038 | root |
root |
/usr/share/doc/lhs2tex/Examples/Unlit.lhs
|
-rw-r--r-- | 4172 | root |
root |
/usr/share/doc/lhs2tex/Examples/UnlitP.lhs
|
-rwxr-xr-x | 310 | root |
root |
/usr/share/doc/lhs2tex/Examples/lhs2TeXpre
|
-rw-r--r-- | 1719 | root |
root |
/usr/share/lhs2tex/colorcode.fmt
|
-rw-r--r-- | 1843 | root |
root |
/usr/share/lhs2tex/forall.fmt
|
-rw-r--r-- | 1838 | root |
root |
/usr/share/lhs2tex/greek.fmt
|
-rw-r--r-- | 926 | root |
root |
/usr/share/lhs2tex/jfpcompat.fmt
|
-rw-r--r-- | 12312 | root |
root |
/usr/share/lhs2tex/lhs2TeX.fmt
|
-rw-r--r-- | 3701 | root |
root |
/usr/share/lhs2tex/lhs2TeX.sty
|
-rw-r--r-- | 5256 | root |
root |
/usr/share/lhs2tex/polycode.fmt
|
-rw-r--r-- | 798 | root |
root |
/usr/share/lhs2tex/spacing.fmt
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/man/man1
|
-rw-r--r-- | 2222 | root |
root |
/usr/share/man/man1/lhs2TeX.1.lzma
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf/tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf/tex/latex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf/tex/latex/polytable
|
-rw-r--r-- | 2645 | root |
root |
/usr/share/texmf/tex/latex/polytable/lazylist.sty
|
-rw-r--r-- | 26330 | root |
root |
/usr/share/texmf/tex/latex/polytable/polytable.sty
|