../ lhs2tex_1.22-2build3.debian.tar.xz 08-Feb-2020 12:04 6972 lhs2tex_1.22-2build3.dsc 08-Feb-2020 12:04 2100 lhs2tex_1.22-2build3_amd64.deb 08-Feb-2020 14:18 764004 lhs2tex_1.22.orig.tar.gz 12-Dec-2018 21:23 679988