Index of /bionic-18.04/pool/universe/r/regina-normal/

../
regina-normal-dev_5.1-2build1_amd64.deb            23-Feb-2024 18:21              499560
regina-normal-doc_5.1-2build1_all.deb              23-Feb-2024 18:18            14706760
regina-normal-mpi_5.1-2build1_amd64.deb            23-Feb-2024 18:15               66180
regina-normal_5.1-2build1_amd64.deb                23-Feb-2024 18:16            13855512