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

../
regina-normal-dev_7.3-2_amd64.deb                  25-Aug-2026 13:01    811K
regina-normal-dev_7.3-2_arm64.deb                  25-Aug-2026 13:01    811K
regina-normal-doc_7.3-2_all.deb                    25-Aug-2026 13:01     71M
regina-normal_7.3-2_amd64.deb                      25-Aug-2026 13:01     16M
regina-normal_7.3-2_arm64.deb                      25-Aug-2026 13:01     15M