Index of /old-ubuntu/pool/universe/r/regina-normal/

../
regina-normal-dev_4.90-2_amd64.deb                                                                                       25-Sep-2023 15:24    389K
regina-normal-dev_4.90-2_i386.deb                                                                                        25-Sep-2023 15:24    383K
regina-normal-doc_4.90-2_all.deb                                                                                         25-Sep-2023 15:24      8M
regina-normal-mpi_4.90-2_amd64.deb                                                                                       25-Sep-2023 15:24     57K
regina-normal-mpi_4.90-2_i386.deb                                                                                        25-Sep-2023 15:24     56K
regina-normal_4.90-2_amd64.deb                                                                                           25-Sep-2023 15:24      5M
regina-normal_4.90-2_i386.deb                                                                                            25-Sep-2023 15:24      5M