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

../
regina-normal-dbgsym_7.3.1-1_hppa.deb              11-Jul-2025 00:03           400695128
regina-normal-dev_7.3.1-1_hppa.deb                 11-Jul-2025 00:03              831856
regina-normal_7.3.1-1_hppa.buildinfo               11-Jul-2025 00:03               13331
regina-normal_7.3.1-1_hppa.deb                     11-Jul-2025 00:03            17868804