../ lhs2tex_1.22-2build3.debian.tar.xz 18-Dec-2023 16:19 6972 lhs2tex_1.22-2build3.dsc 18-Dec-2023 16:19 2100 lhs2tex_1.22-2build3_amd64.deb 24-Nov-2024 00:28 764004 lhs2tex_1.22.orig.tar.gz 18-Dec-2023 16:19 679988 lhs2tex_1.24-1build2.1.debian.tar.xz 18-Dec-2023 16:21 6956 lhs2tex_1.24-1build2.1.dsc 18-Dec-2023 16:21 2108 lhs2tex_1.24-1build2.1_amd64.deb 24-Nov-2024 00:30 903052 lhs2tex_1.24.orig.tar.gz 18-Dec-2023 16:21 775885