../ lhs2tex_1.18.1-2.debian.tar.gz 25-May-2013 06:06 11K lhs2tex_1.18.1-2.dsc 25-May-2013 06:06 1421 lhs2tex_1.18.1-2_amd64.deb 25-May-2013 06:06 843K lhs2tex_1.18.1-2_i386.deb 25-May-2013 09:58 809K lhs2tex_1.18.1.orig.tar.gz 09-Feb-2013 20:24 646K