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

../
regina-normal-dev_4.93-1_amd64.deb                 24-Sep-2019 08:02              529100
regina-normal-dev_4.93-1_i386.deb                  21-Jan-2020 15:31              530336
regina-normal-doc_4.93-1_all.deb                   24-Sep-2019 07:53            11661888
regina-normal-mpi_4.93-1_amd64.deb                 24-Sep-2019 07:58              114878
regina-normal-mpi_4.93-1_i386.deb                  21-Jan-2020 15:26              114018
regina-normal_4.93-1_amd64.deb                     24-Sep-2019 08:10             5903524
regina-normal_4.93-1_i386.deb                      21-Jan-2020 15:31             5926240