../ lhs2tex_1.18.1-2.debian.tar.gz 25-May-2013 07:34 11K lhs2tex_1.18.1-2.dsc 25-May-2013 07:34 1421 lhs2tex_1.18.1-2_amd64.deb 27-May-2013 12:33 839K lhs2tex_1.18.1-2_i386.deb 27-May-2013 12:04 806K lhs2tex_1.18.1.orig.tar.gz 25-May-2013 07:34 646K lhs2tex_1.19-2.debian.tar.xz 10-Dec-2015 13:34 10K lhs2tex_1.19-2.dsc 10-Dec-2015 13:34 2161 lhs2tex_1.19-2_amd64.deb 10-Dec-2015 13:34 755K lhs2tex_1.19-2_i386.deb 10-Dec-2015 13:35 762K lhs2tex_1.19-5.debian.tar.xz 06-Jun-2017 07:13 6592 lhs2tex_1.19-5.dsc 06-Jun-2017 07:13 2047 lhs2tex_1.19-5_amd64.deb 06-Jun-2017 07:13 781K lhs2tex_1.19-5_i386.deb 06-Jun-2017 07:13 781K lhs2tex_1.19.orig.tar.gz 30-Jun-2015 07:44 643K lhs2tex_1.22-2build3.debian.tar.xz 08-Feb-2020 14:04 6972 lhs2tex_1.22-2build3.dsc 08-Feb-2020 14:04 2100 lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 16:18 746K lhs2tex_1.22.orig.tar.gz 12-Dec-2018 23:23 664K lhs2tex_1.24-1build2.1.debian.tar.xz 15-Sep-2021 13:58 6956 lhs2tex_1.24-1build2.1.dsc 15-Sep-2021 13:58 2108 lhs2tex_1.24-1build2.1_amd64.deb 15-Sep-2021 14:41 882K lhs2tex_1.24.orig.tar.gz 17-Jun-2020 01:18 758K