../ regina-normal-dbgsym_7.4-1_x32.deb 23-Sep-2025 06:03 501484304 regina-normal-dev_7.4-1_x32.deb 23-Sep-2025 06:03 924564 regina-normal_7.4-1_x32.buildinfo 23-Sep-2025 06:03 13267 regina-normal_7.4-1_x32.deb 23-Sep-2025 06:03 23144172