../ regina-normal-dev_7.3-2_amd64.deb 06-Mar-2026 11:15 811K regina-normal-doc_7.3-2_all.deb 06-Mar-2026 11:15 71M regina-normal_7.3-2_amd64.deb 06-Mar-2026 11:15 16M