../ regina-normal-dev_7.4-1_amd64.deb 28-Oct-2025 12:34 780K regina-normal-dev_7.4-1_amd64v3.deb 28-Oct-2025 12:36 780K regina-normal-doc_7.4-1_all.deb 28-Oct-2025 12:34 83M regina-normal_7.4-1.debian.tar.xz 27-Oct-2025 23:35 14K regina-normal_7.4-1.dsc 27-Oct-2025 23:35 2190 regina-normal_7.4-1_amd64.deb 28-Oct-2025 12:34 22M regina-normal_7.4-1_amd64v3.deb 28-Oct-2025 12:36 22M regina-normal_7.4.orig.tar.gz 27-Oct-2025 23:35 110M