../ regina-normal-dev_5.1-6+b1_amd64.deb 14-May-2025 11:52 585392 regina-normal-doc_5.1-6_all.deb 14-May-2025 12:05 14776636 regina-normal-mpi_5.1-6+b1_amd64.deb 14-May-2025 12:16 152884 regina-normal_5.1-6+b1_amd64.deb 14-May-2025 12:06 13934416