../ 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-5_amd64.deb 05-Jun-2017 23:11 781K lhs2tex_1.19-5_i386.deb 05-Jun-2017 23:11 798K lhs2tex_1.22-2.debian.tar.xz 01-Oct-2018 19:52 6808 lhs2tex_1.22-2.dsc 01-Oct-2018 19:52 2080 lhs2tex_1.22-2_amd64.deb 02-Oct-2018 04:26 762K lhs2tex_1.22-2_i386.deb 02-Oct-2018 03:41 771K lhs2tex_1.22.orig.tar.gz 30-Sep-2018 11:04 664K