../ lhs2tex_1.18.1-2_amd64.deb 24-May-2013 22:06 843K lhs2tex_1.18.1-2_i386.deb 25-May-2013 01:58 809K lhs2tex_1.19-2.debian.tar.xz 10-Dec-2015 02:07 10K lhs2tex_1.19-2.dsc 10-Dec-2015 02:07 2161 lhs2tex_1.19.orig.tar.gz 29-Jun-2015 21:02 643K