../ lhs2tex_1.19-2_amd64.deb 10-Dec-2015 11:34 755K lhs2tex_1.19-5_amd64.deb 06-Jun-2017 05:13 781K lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 14:18 746K lhs2tex_1.24-1build2.1_amd64.deb 15-Sep-2021 12:41 882K