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

../
regina-normal-dev_7.0-2build1_amd64.deb            05-Sep-2024 21:14              684964
regina-normal-doc_7.0-2build1_all.deb              05-Sep-2024 21:31            74090500
regina-normal_7.0-2build1_amd64.deb                05-Sep-2024 21:19            15034714