../ lhs2tex_1.22-2build3.debian.tar.xz 08-Feb-2020 17:04 6972 lhs2tex_1.22-2build3.dsc 08-Feb-2020 17:04 2100 lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 19:18 746K lhs2tex_1.22.orig.tar.gz 13-Dec-2018 02:23 664K lhs2tex_1.24-1build2.1.debian.tar.xz 15-Sep-2021 16:58 6956 lhs2tex_1.24-1build2.1.dsc 15-Sep-2021 16:58 2108 lhs2tex_1.24-1build2.1_amd64.deb 15-Sep-2021 17:41 882K lhs2tex_1.24.orig.tar.gz 17-Jun-2020 04:18 758K