../ regina-normal-dev_6.0.1-4_amd64.deb 12-May-2025 11:33 674328 regina-normal-dev_7.3-2_amd64.deb 25-Aug-2026 03:12 830256 regina-normal-doc_6.0.1-4_all.deb 12-May-2025 11:33 14649796 regina-normal-doc_7.3-2_all.deb 25-Aug-2026 03:12 74823508 regina-normal_6.0.1-4_amd64.deb 12-May-2025 11:33 14505188 regina-normal_7.3-2_amd64.deb 25-Aug-2026 03:12 16734696