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

../
lhs2tex-dbgsym_1.24-1+b1_hppa.deb                  01-Oct-2021 06:03             2275060
lhs2tex_1.24-1+b1_hppa.buildinfo                   01-Oct-2021 06:03                6455
lhs2tex_1.24-1+b1_hppa.deb                         01-Oct-2021 06:03             3557716