Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/r/regina-normal/

../
regina-normal-dev_7.4.1-1.1build1_amd64.deb        23-Jan-2026 22:45              799858
regina-normal-dev_7.4.1-1.1build1_arm64.deb        23-Jan-2026 22:45              799856
regina-normal-doc_7.4.1-1.1build1_all.deb          23-Jan-2026 22:45            87277754
regina-normal_7.4.1-1.1build1_amd64.deb            23-Jan-2026 22:45            23170424
regina-normal_7.4.1-1.1build1_arm64.deb            23-Jan-2026 22:45            22173370