/usr/local/man/man1/lhs2TeX.1.gz
/usr/local/bin/lhs2TeX
/usr/local/share/texmf-local/tex/latex/polytable/lazylist.sty
/usr/local/share/texmf-local/tex/latex/polytable/polytable.sty
/usr/local/share/lhs2tex/lhs2tex/colorcode.fmt
/usr/local/share/lhs2tex/lhs2tex/forall.fmt
/usr/local/share/lhs2tex/lhs2tex/greek.fmt
/usr/local/share/lhs2tex/lhs2tex/jfpcompat.fmt
/usr/local/share/lhs2tex/lhs2tex/lhs2TeX.fmt
/usr/local/share/lhs2tex/lhs2tex/lhs2TeX.sty
/usr/local/share/lhs2tex/lhs2tex/polycode.fmt
/usr/local/share/lhs2tex/lhs2tex/spacing.fmt
/usr/local/share/doc/lhs2tex/Guide2.pdf