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

../
regina-normal-dbgsym_7.3.1-1_ppc64.deb             10-Jul-2025 18:03           407712168
regina-normal-dev_7.3.1-1_ppc64.deb                10-Jul-2025 18:03              831816
regina-normal_7.3.1-1_ppc64.buildinfo              10-Jul-2025 18:03               13641
regina-normal_7.3.1-1_ppc64.deb                    10-Jul-2025 18:03            17163984