../ lhs2tex_1.19-4+b1_amd64.deb 17-Mar-2017 10:45 800392 lhs2tex_1.19-4+b1_i386.deb 17-Mar-2017 09:44 817904 lhs2tex_1.19-4.debian.tar.xz 28-Oct-2016 00:31 6544 lhs2tex_1.19-4.dsc 28-Oct-2016 00:31 2186 lhs2tex_1.19.orig.tar.gz 29-Jun-2015 21:02 658353