Index of /testing/debian-10-official-release/pool/main/r/regina-normal/

../
regina-normal-dev_5.1-6+b1_amd64.deb               24-Sep-2019 00:40              585392
regina-normal-doc_5.1-6_all.deb                    24-Sep-2019 00:29            14776636
regina-normal-mpi_5.1-6+b1_amd64.deb               24-Sep-2019 00:28              152884
regina-normal_5.1-6+b1_amd64.deb                   24-Sep-2019 00:40            13934416