Index of /mirror/deb.debian.org/debian/pool/main/r/regina-normal/

../
regina-normal-dev_5.1-6+b1_amd64.deb               10-Oct-2023 06:23              585392
regina-normal-dev_5.1-6+b1_armhf.deb               10-Oct-2023 06:23              585468
regina-normal-dev_6.0.1-4_amd64.deb                10-Oct-2023 17:56              674328
regina-normal-dev_6.0.1-4_armhf.deb                10-Oct-2023 17:56              674364
regina-normal-dev_7.3-2_amd64.deb                  10-Oct-2023 17:56              830256
regina-normal-dev_7.3-2_armhf.deb                  10-Oct-2023 17:56              830276
regina-normal-doc_5.1-6_all.deb                    10-Oct-2023 06:23            14776636
regina-normal-doc_6.0.1-4_all.deb                  10-Oct-2023 17:57            14649796
regina-normal-doc_7.3-2_all.deb                    10-Oct-2023 17:57            74823508
regina-normal-mpi_5.1-6+b1_amd64.deb               10-Oct-2023 06:23              152884
regina-normal-mpi_5.1-6+b1_armhf.deb               10-Oct-2023 06:23              126956
regina-normal_5.1-6+b1_amd64.deb                   10-Oct-2023 06:23            13934416
regina-normal_5.1-6+b1_armhf.deb                   10-Oct-2023 06:23            13463084
regina-normal_6.0.1-4_amd64.deb                    10-Oct-2023 17:57            14505188
regina-normal_6.0.1-4_armhf.deb                    10-Oct-2023 17:57            14194680
regina-normal_7.3-2_amd64.deb                      10-Oct-2023 17:57            16734696
regina-normal_7.3-2_armhf.deb                      10-Oct-2023 17:57            15883360