../ regina-normal-dbgsym_7.3-2_ppc64.deb 05-May-2023 09:03 354M regina-normal-dev_7.3-2_ppc64.deb 05-May-2023 09:03 811K regina-normal_7.3-2_ppc64.buildinfo 05-May-2023 09:03 13K regina-normal_7.3-2_ppc64.deb 05-May-2023 09:03 15M