../ regina-normal-dev_7.3-2_amd64.deb 04-May-2023 16:30 811K regina-normal-dev_7.3-2_arm64.deb 04-May-2023 17:10 811K regina-normal-doc_7.3-2_all.deb 04-May-2023 16:09 71M regina-normal_7.3-2.debian.tar.xz 04-May-2023 14:54 14K regina-normal_7.3-2.dsc 04-May-2023 14:54 2249 regina-normal_7.3-2_amd64.deb 04-May-2023 16:30 16M regina-normal_7.3-2_arm64.deb 04-May-2023 17:10 15M regina-normal_7.3.orig.tar.gz 19-Mar-2023 01:48 93M