../ regina-normal-dev_7.0-2build1_amd64.deb 08-Mar-2026 04:53 669K regina-normal-doc_7.0-2build1_all.deb 08-Mar-2026 04:53 71M regina-normal_7.0-2build1_amd64.deb 08-Mar-2026 04:53 14M