Index of /ubuntu/pool/universe/r/regina-normal/

../
regina-normal-dev_5.1-6ubuntu1_amd64.deb           26-Aug-2023 01:09              499484
regina-normal-dev_7.0-2build1_amd64.deb            27-Aug-2023 06:09              684964
regina-normal-doc_5.1-6ubuntu1_all.deb             26-Aug-2023 01:09            14845028
regina-normal-doc_7.0-2build1_all.deb              27-Aug-2023 06:09            74090500
regina-normal-mpi_5.1-6ubuntu1_amd64.deb           26-Aug-2023 01:09               70848
regina-normal_5.1-6ubuntu1.debian.tar.xz           26-Aug-2023 01:09               12836
regina-normal_5.1-6ubuntu1.dsc                     26-Aug-2023 01:09                2374
regina-normal_5.1-6ubuntu1_amd64.deb               26-Aug-2023 01:09            14064108
regina-normal_5.1.orig.tar.gz                      26-Aug-2023 01:10            27625206
regina-normal_7.0-2build1.debian.tar.xz            27-Aug-2023 06:09               14276
regina-normal_7.0-2build1.dsc                      27-Aug-2023 06:09                2272
regina-normal_7.0-2build1_amd64.deb                27-Aug-2023 06:09            15034714
regina-normal_7.0.orig.tar.gz                      27-Aug-2023 06:09            95327918