../ regina-normal-dev_7.0-2build1_amd64.deb 09-Aug-2024 14:04 684964 regina-normal-doc_7.0-2build1_all.deb 09-Aug-2024 14:09 74090500 regina-normal_7.0-2build1_amd64.deb 09-Aug-2024 14:07 15034714