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

../
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.orig.tar.gz                      19-Mar-2023 00:48            96997134