../ regina-normal-dev_7.4.1-1.1build1_amd64.deb 04-Jun-2026 01:29 799858 regina-normal-doc_7.4.1-1.1build1_all.deb 04-Jun-2026 01:29 87277754 regina-normal_7.4.1-1.1build1_amd64.deb 04-Jun-2026 01:29 23170424