../ lhs2tex-dbgsym_1.22-2_hurd-i386.deb 30-Oct-2018 16:10 102564 lhs2tex_1.22-2_hurd-i386.buildinfo 30-Oct-2018 14:09 5129 lhs2tex_1.22-2_hurd-i386.deb 30-Oct-2018 16:10 786608