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

../
regina-normal-dbgsym_7.4.1-1.1_ppc64.deb           16-Dec-2025 18:03           511525588
regina-normal-dev_7.4.1-1.1_ppc64.deb              16-Dec-2025 18:03              925908
regina-normal_7.4.1-1.1_ppc64.buildinfo            16-Dec-2025 18:03               13250
regina-normal_7.4.1-1.1_ppc64.deb                  16-Dec-2025 18:03            22322116