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

../
regina-normal-dev_5.1-6+b1_amd64.deb               10-May-2026 08:39              585392
regina-normal-doc_5.1-6_all.deb                    10-May-2026 08:39            14776636
regina-normal-mpi_5.1-6+b1_amd64.deb               10-May-2026 08:39              152884
regina-normal_5.1-6+b1_amd64.deb                   10-May-2026 08:39            13934416