../ lhs2tex_1.18.1-2.debian.tar.gz 24-May-2013 22:06 11408 lhs2tex_1.18.1-2.dsc 24-May-2013 22:06 1421 lhs2tex_1.18.1-2_amd64.deb 24-May-2013 22:06 863296 lhs2tex_1.18.1-2_i386.deb 25-May-2013 01:58 828210 lhs2tex_1.18.1.orig.tar.gz 09-Feb-2013 12:24 661053