../ regina-normal-dev_7.0-2build1_amd64.deb 19-Jun-2025 07:06 669K regina-normal-doc_7.0-2build1_all.deb 19-Jun-2025 07:06 71M regina-normal_7.0-2build1_amd64.deb 19-Jun-2025 07:06 14M