../ regina-normal-dev_6.0.1-4_amd64.deb 22-May-2023 15:25 659K regina-normal-doc_6.0.1-4_all.deb 22-May-2023 15:25 14M regina-normal_6.0.1-4_amd64.deb 22-May-2023 15:25 14M