../ regina-normal-dev_7.3-2_amd64.deb 04-May-2023 08:30 811K regina-normal-doc_7.3-2_all.deb 04-May-2023 08:09 71M regina-normal_7.3-2_amd64.deb 04-May-2023 08:30 16M