../ regina-normal-dev_6.0.1-4_amd64.deb 04-Sep-2024 20:59 659K regina-normal-dev_7.3-2_amd64.deb 03-Sep-2024 09:14 811K regina-normal-doc_6.0.1-4_all.deb 04-Sep-2024 20:59 14M regina-normal-doc_7.3-2_all.deb 03-Sep-2024 09:14 71M regina-normal_6.0.1-4_amd64.deb 04-Sep-2024 20:59 14M regina-normal_7.3-2_amd64.deb 03-Sep-2024 09:14 16M