../ lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 09:18 746K lhs2tex_1.22-2build3_arm64.deb 08-Feb-2020 08:19 839K lhs2tex_1.24-1build2.1_amd64.deb 15-Sep-2021 07:41 882K lhs2tex_1.24-1build2.1_arm64.deb 15-Sep-2021 08:09 1003K