../ regina-normal-dev_5.1-6ubuntu1_amd64.deb 09-Mar-2023 23:01 499484 regina-normal-doc_5.1-6ubuntu1_all.deb 09-Mar-2023 23:01 14845028 regina-normal-mpi_5.1-6ubuntu1_amd64.deb 09-Mar-2023 23:01 70848 regina-normal_5.1-6ubuntu1_amd64.deb 09-Mar-2023 23:01 14064108