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

../
regina-normal-dev_7.4.1-1_amd64.deb                06-Dec-2025 14:30              926608
regina-normal-dev_7.4.1-1_i386.deb                 06-Dec-2025 14:07              926568
regina-normal-doc_7.4.1-1_all.deb                  06-Dec-2025 13:16            87193684
regina-normal_7.4.1-1_amd64.deb                    06-Dec-2025 14:16            23290512
regina-normal_7.4.1-1_i386.deb                     06-Dec-2025 14:04            23900872