Index of /debian/pool/main/l/lhs2tex/

../
lhs2tex_1.17-1.debian.tar.gz                       31-Dec-2011 15:04               11661
lhs2tex_1.17-1.dsc                                 31-Dec-2011 15:04                1408
lhs2tex_1.17-1_amd64.deb                           31-Dec-2011 15:04              874072
lhs2tex_1.17.orig.tar.gz                           31-Dec-2011 15:04              662684