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


../
regina-normal-dev_5.1-6_armhf.deb                  22-Jul-2020 15:57              585260
regina-normal-doc_5.1-6_all.deb                    22-Jul-2020 15:29            14776636
regina-normal-mpi_5.1-6_armhf.deb                  22-Jul-2020 15:06              124460
regina-normal_5.1-6_armhf.deb                      22-Jul-2020 16:14            13350520