Index of /debian/pool/main/r/regina-normal/

../
regina-normal-dev_7.4.1-1.1_amd64.deb              16-Dec-2025 12:27    904K
regina-normal-dev_7.4.1-1.1_arm64.deb              16-Dec-2025 12:27    904K
regina-normal-dev_7.4.1-1.1_riscv64.deb            17-Dec-2025 04:42    904K
regina-normal-doc_7.4.1-1.1_all.deb                16-Dec-2025 12:27     83M
regina-normal_7.4.1-1.1_amd64.deb                  16-Dec-2025 12:27     22M
regina-normal_7.4.1-1.1_arm64.deb                  16-Dec-2025 12:27     21M
regina-normal_7.4.1-1.1_riscv64.deb                17-Dec-2025 04:42     22M