Index of /debian/pool/main/r/regina-normal/

../
regina-normal-dev_5.1-6+b1_amd64.deb               17-Nov-2018 18:05              585392
regina-normal-dev_6.0.1-4_amd64.deb                19-Apr-2021 09:28              674328
regina-normal-dev_7.3-2_amd64.deb                  04-May-2023 15:30              830256
regina-normal-doc_5.1-6_all.deb                    28-Oct-2018 10:36            14776636
regina-normal-doc_6.0.1-4_all.deb                  19-Apr-2021 09:13            14649796
regina-normal-doc_7.3-2_all.deb                    04-May-2023 15:09            74823508
regina-normal-mpi_5.1-6+b1_amd64.deb               17-Nov-2018 18:05              152884
regina-normal_5.1-6+b1_amd64.deb                   17-Nov-2018 18:05            13934416
regina-normal_6.0.1-4_amd64.deb                    19-Apr-2021 09:28            14505188
regina-normal_7.3-2_amd64.deb                      04-May-2023 15:30            16734696