Index of /debian-ports/pool-sh4/main/l/lhs2tex/

../
lhs2tex-dbgsym_1.20-1_sh4.deb                      12-Aug-2018 09:03    764K
lhs2tex_1.20-1_sh4.buildinfo                       12-Aug-2018 09:03    5665
lhs2tex_1.20-1_sh4.deb                             12-Aug-2018 09:03      2M