Index of /ubuntu/pool/universe/r/regina-normal/

../
regina-normal-dev_5.1-6ubuntu1_amd64.deb           12-May-2025 11:34              499484
regina-normal-dev_7.0-2build1_amd64.deb            19-Apr-2026 17:29              684964
regina-normal-doc_5.1-6ubuntu1_all.deb             12-May-2025 11:34            14845028
regina-normal-doc_7.0-2build1_all.deb              19-Apr-2026 17:29            74090500
regina-normal-mpi_5.1-6ubuntu1_amd64.deb           12-May-2025 11:34               70848
regina-normal_5.1-6ubuntu1_amd64.deb               12-May-2025 11:34            14064108
regina-normal_7.0-2build1_amd64.deb                19-Apr-2026 17:29            15034714