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

../
regina-normal-dev_6.0.1-4_amd64.deb                20-Dec-2022 20:06              674328
regina-normal-doc_6.0.1-4_all.deb                  20-Dec-2022 22:59            14649796
regina-normal_6.0.1-4_amd64.deb                    20-Dec-2022 21:20            14505188