../ regina-normal-dev_7.3-2_amd64.deb 23-Jul-2026 10:05 811K regina-normal-doc_7.3-2_all.deb 23-Jul-2026 10:05 71M regina-normal_7.3-2_amd64.deb 23-Jul-2026 10:05 16M