../ lhs2tex_1.19-5.debian.tar.xz 24-Apr-2019 17:28 6592 lhs2tex_1.19-5.dsc 24-Apr-2019 17:28 2047 lhs2tex_1.19-5_mips64el.deb 24-Apr-2019 17:28 2M lhs2tex_1.19.orig.tar.gz 24-Apr-2019 17:28 643K