../ regina-normal-dev_7.0-2build1_amd64.deb 05-Sep-2026 05:18 669K regina-normal-dev_7.4.1-1.1build1_amd64.deb 05-Sep-2026 05:18 781K regina-normal-doc_7.0-2build1_all.deb 05-Sep-2026 05:18 71M regina-normal-doc_7.4.1-1.1build1_all.deb 05-Sep-2026 05:18 83M regina-normal_7.0-2build1_amd64.deb 05-Sep-2026 05:18 14M regina-normal_7.4.1-1.1build1_amd64.deb 05-Sep-2026 05:18 22M