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

../
lhs2tex-dbgsym_1.20-1_sh4.deb                      12-Aug-2018 00:03              781892
lhs2tex_1.20-1_sh4.buildinfo                       12-Aug-2018 00:03                5665
lhs2tex_1.20-1_sh4.deb                             12-Aug-2018 00:03             1885408