../ lhs2tex_1.22-2build3.debian.tar.xz 25-Aug-2023 22:56 6972 lhs2tex_1.22-2build3.dsc 25-Aug-2023 22:56 2100 lhs2tex_1.22-2build3_amd64.deb 25-Aug-2023 22:56 764004 lhs2tex_1.22.orig.tar.gz 25-Aug-2023 22:56 679988 lhs2tex_1.24-1build2.1.debian.tar.xz 27-Aug-2023 04:15 6956 lhs2tex_1.24-1build2.1.dsc 27-Aug-2023 04:15 2108 lhs2tex_1.24-1build2.1_amd64.deb 27-Aug-2023 04:15 903052 lhs2tex_1.24.orig.tar.gz 27-Aug-2023 04:15 775885