../ lhs2tex_1.22-2build3.debian.tar.xz 30-Aug-2023 23:54 6972 lhs2tex_1.22-2build3.dsc 30-Aug-2023 23:54 2100 lhs2tex_1.22-2build3_arm64.deb 30-Aug-2023 23:54 859064 lhs2tex_1.22.orig.tar.gz 30-Aug-2023 23:54 679988 lhs2tex_1.24-1build2.1.debian.tar.xz 30-Aug-2023 23:54 6956 lhs2tex_1.24-1build2.1.dsc 30-Aug-2023 23:54 2108 lhs2tex_1.24-1build2.1_arm64.deb 30-Aug-2023 23:54 1027252 lhs2tex_1.24.orig.tar.gz 30-Aug-2023 23:54 775885