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

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