Index of /repo/ubuntu18/archive.ubuntu.com/ubuntu/pool/universe/r/regina-normal/


../
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