../ regina-normal-dev_7.4.1-1.2_amd64.deb 02-Aug-2026 15:00 903K regina-normal-doc_7.4.1-1.2_all.deb 02-Aug-2026 14:55 83M regina-normal_7.4.1-1.2_amd64.deb 02-Aug-2026 15:00 22M