Index of /debian-ports/pool-hurd-i386/main/l/lhs2tex/

../
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