../ regina-normal-dev_7.3-2_amd64.deb 08-Oct-2026 10:27 830256 regina-normal-doc_7.3-2_all.deb 08-Oct-2026 10:27 74823508 regina-normal_7.3-2_amd64.deb 08-Oct-2026 10:27 16734696