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

../
regina-normal-dbgsym_7.3-2_ppc64.deb               05-May-2023 00:03           370956720
regina-normal-dev_7.3-2_ppc64.deb                  05-May-2023 00:03              830256
regina-normal_7.3-2_ppc64.buildinfo                05-May-2023 00:03               13292
regina-normal_7.3-2_ppc64.deb                      05-May-2023 00:03            16204848