../ regina-normal-dev_7.4.1-1.1_amd64.deb 07-Jan-2026 09:05 925808 regina-normal-doc_7.4.1-1.1_all.deb 07-Jan-2026 09:06 87494820 regina-normal_7.4.1-1.1_amd64.deb 07-Jan-2026 09:06 23293780