../ regina-normal-dev_5.1-2build1_amd64.deb 19-Oct-2021 09:16 499560 regina-normal-doc_5.1-2build1_all.deb 19-Oct-2021 09:17 14706760 regina-normal-mpi_5.1-2build1_amd64.deb 19-Oct-2021 09:17 66180 regina-normal_5.1-2build1_amd64.deb 19-Oct-2021 09:17 13855512