../ regina-normal-dbgsym_7.4-1_hppa.deb 28-Aug-2025 12:03 461M regina-normal-dev_7.4-1_hppa.deb 28-Aug-2025 12:03 903K regina-normal_7.4-1_hppa.buildinfo 28-Aug-2025 12:03 13K regina-normal_7.4-1_hppa.deb 28-Aug-2025 12:03 22M