Index of /debian-ports/pool-hppa/main/r/regina-normal/

../
regina-normal-dbgsym_7.4.1-1.1+b1_hppa.deb         13-Jul-2026 06:03           503389156
regina-normal-dev_7.4.1-1.1+b1_hppa.deb            13-Jul-2026 06:03              924768
regina-normal_7.4.1-1.1+b1_hppa.buildinfo          13-Jul-2026 06:03               13408
regina-normal_7.4.1-1.1+b1_hppa.deb                13-Jul-2026 06:03            23163836