../ lhs2tex_1.18.1-2.debian.tar.gz 25-May-2013 09:04 11K lhs2tex_1.18.1-2.dsc 25-May-2013 09:04 1421 lhs2tex_1.18.1-2_amd64.deb 27-May-2013 14:03 839K lhs2tex_1.18.1-2_i386.deb 27-May-2013 13:34 806K lhs2tex_1.18.1.orig.tar.gz 25-May-2013 09:04 646K lhs2tex_1.19-2.debian.tar.xz 10-Dec-2015 15:04 10K lhs2tex_1.19-2.dsc 10-Dec-2015 15:04 2161 lhs2tex_1.19-2_amd64.deb 10-Dec-2015 15:04 755K lhs2tex_1.19-2_i386.deb 10-Dec-2015 15:05 762K lhs2tex_1.19-5.debian.tar.xz 06-Jun-2017 08:43 6592 lhs2tex_1.19-5.dsc 06-Jun-2017 08:43 2047 lhs2tex_1.19-5_amd64.deb 06-Jun-2017 08:43 781K lhs2tex_1.19-5_i386.deb 06-Jun-2017 08:43 781K lhs2tex_1.19.orig.tar.gz 30-Jun-2015 09:14 643K lhs2tex_1.22-2build3.debian.tar.xz 08-Feb-2020 15:34 6972 lhs2tex_1.22-2build3.dsc 08-Feb-2020 15:34 2100 lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 17:48 746K lhs2tex_1.22.orig.tar.gz 13-Dec-2018 00:53 664K lhs2tex_1.24-1build2.1.debian.tar.xz 15-Sep-2021 15:28 6956 lhs2tex_1.24-1build2.1.dsc 15-Sep-2021 15:28 2108 lhs2tex_1.24-1build2.1_amd64.deb 15-Sep-2021 16:11 882K lhs2tex_1.24.orig.tar.gz 17-Jun-2020 02:48 758K