Index of /ubuntu/pool/universe/r/regina-normal/


../
regina-normal-dev_7.0-2build1_amd64.deb            14-Jan-2022 12:54              684964
regina-normal-doc_7.0-2build1_all.deb              14-Jan-2022 12:54            74090500
regina-normal_7.0-2build1.debian.tar.xz            14-Jan-2022 11:44               14276
regina-normal_7.0-2build1.dsc                      14-Jan-2022 11:44                2272
regina-normal_7.0-2build1_amd64.deb                14-Jan-2022 12:54            15034714
regina-normal_7.0.orig.tar.gz                      18-Dec-2021 23:24            95327918