Index of /stable/debian-9-official-release/pool/main/r/regina-normal/

../
regina-normal-dev_5.1-1_amd64.deb                  24-Sep-2019 10:38              585842
regina-normal-dev_5.1-1_i386.deb                   22-Jan-2020 00:19              585806
regina-normal-doc_5.1-1_all.deb                    24-Sep-2019 11:01            14779384
regina-normal-mpi_5.1-1_amd64.deb                  24-Sep-2019 11:04              150884
regina-normal-mpi_5.1-1_i386.deb                   22-Jan-2020 00:23              150266
regina-normal_5.1-1_amd64.deb                      24-Sep-2019 10:50            13763732
regina-normal_5.1-1_i386.deb                       22-Jan-2020 00:23            14193544