../ regina-normal-dev_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 488K regina-normal-dev_7.0-2build1_amd64.deb 14-Jan-2022 12:54 669K regina-normal-doc_5.1-6ubuntu1_all.deb 13-Jan-2020 13:48 14M regina-normal-doc_7.0-2build1_all.deb 14-Jan-2022 12:54 71M regina-normal-mpi_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 69K regina-normal_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 13M regina-normal_7.0-2build1_amd64.deb 14-Jan-2022 12:54 14M