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


../
regina-normal-dev_7.3-2_amd64.deb                  04-May-2023 15:30              830256
regina-normal-doc_7.3-2_all.deb                    04-May-2023 15:09            74823508
regina-normal_7.3-2.debian.tar.xz                  04-May-2023 13:54               14672
regina-normal_7.3-2.dsc                            04-May-2023 13:54                2249
regina-normal_7.3-2_amd64.deb                      04-May-2023 15:30            16734696
regina-normal_7.3.orig.tar.gz                      19-Mar-2023 00:48            96997134