../ regina-normal-dev_5.1-6+b1_amd64.deb 26-Jan-2023 04:44 572K regina-normal-dev_5.1-6+b1_i386.deb 08-Nov-2024 11:22 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-mpi_5.1-6+b1_i386.deb 08-Nov-2024 11:22 148K regina-normal_5.1-6+b1_amd64.deb 26-Jan-2023 04:44 13M regina-normal_5.1-6+b1_i386.deb 08-Nov-2024 11:22 14M