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

../
regina-normal-dev_7.3-2_amd64.deb                  04-May-2023 15:30    811K
regina-normal-doc_7.3-2_all.deb                    04-May-2023 15:09     71M
regina-normal_7.3-2.debian.tar.xz                  04-May-2023 13:54     14K
regina-normal_7.3-2.dsc                            04-May-2023 13:54    2249
regina-normal_7.3-2_amd64.deb                      04-May-2023 15:30     16M
regina-normal_7.3.orig.tar.gz                      19-Mar-2023 00:48     93M