../ regina-normal-dev_7.0-2build1_arm64.deb 18-Sep-2023 16:10 684966 regina-normal-doc_7.0-2build1_all.deb 18-Sep-2023 16:10 74090500 regina-normal_7.0-2build1_arm64.deb 18-Sep-2023 16:10 14412434