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

../
regina-normal-dbgsym_7.4.1-1.1_hppa.deb            17-Dec-2025 00:03           503065996
regina-normal-dev_7.4.1-1.1_hppa.deb               17-Dec-2025 00:03              925440
regina-normal_7.4.1-1.1_hppa.buildinfo             17-Dec-2025 00:03               12869
regina-normal_7.4.1-1.1_hppa.deb                   17-Dec-2025 00:03            23147772