../ lhs2tex_1.22-2.debian.tar.xz 27-Mar-2020 22:10 6808 lhs2tex_1.22-2.dsc 27-Mar-2020 22:10 2080 lhs2tex_1.22-2_amd64.deb 27-Mar-2020 22:10 762K lhs2tex_1.22-2_arm64.deb 27-Mar-2020 22:10 857K lhs2tex_1.22-2_i386.deb 27-Mar-2020 22:10 771K lhs2tex_1.22-2_mips64el.deb 27-Mar-2020 22:10 2M lhs2tex_1.22.orig.tar.gz 27-Mar-2020 22:10 664K