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

../
regina-normal-dev_5.1-1_amd64.deb                  07-Sep-2023 09:39              585842
regina-normal-doc_5.1-1_all.deb                    07-Sep-2023 09:39            14779384
regina-normal-mpi_5.1-1_amd64.deb                  07-Sep-2023 09:39              150884
regina-normal_5.1-1_amd64.deb                      07-Sep-2023 09:39            13763732