../ regina-normal-dev_5.1-6+b1_amd64.deb 26-Jan-2023 04:44 572K regina-normal-doc_5.1-6_all.deb 26-Jan-2023 04:44 14M regina-normal-mpi_5.1-6+b1_amd64.deb 26-Jan-2023 04:44 149K regina-normal_5.1-6+b1_amd64.deb 26-Jan-2023 04:44 13M