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

../
regina-normal-dev_7.3-2_amd64.deb                  04-May-2023 09:30    811K
regina-normal-dev_7.4-1_amd64.deb                  27-Aug-2025 22:30    903K
regina-normal-doc_7.3-2_all.deb                    04-May-2023 09:09     71M
regina-normal-doc_7.4-1_all.deb                    27-Aug-2025 22:31     83M
regina-normal_7.3-2_amd64.deb                      04-May-2023 09:30     16M
regina-normal_7.4-1_amd64.deb                      27-Aug-2025 22:30     22M