../ regina-normal-dev_5.1-6ubuntu1_arm64.deb 13-Jan-2020 14:43 488K regina-normal-doc_5.1-6ubuntu1_all.deb 13-Jan-2020 13:48 14M regina-normal-mpi_5.1-6ubuntu1_arm64.deb 13-Jan-2020 14:43 64K regina-normal_5.1-6ubuntu1_arm64.deb 13-Jan-2020 14:43 13M