The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ regina-normal-dev_4.95-1build1_amd64.deb 16-Dec-2013 06:18 394938 regina-normal-dev_4.95-1build1_i386.deb 16-Dec-2013 06:18 394974 regina-normal-dev_4.96-2.1build2_amd64.deb 06-Feb-2016 20:41 421760 regina-normal-dev_4.96-2.1build2_i386.deb 06-Feb-2016 20:43 421658 regina-normal-dev_5.1-2build1_amd64.deb 26-Oct-2017 23:30 499560 regina-normal-dev_5.1-2build1_i386.deb 26-Oct-2017 23:31 499540 regina-normal-dev_5.1-2build2_amd64.deb 13-Jan-2021 20:13 499600 regina-normal-dev_5.1-2build2_i386.deb 13-Jan-2021 18:58 499568 regina-normal-dev_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 499484 regina-normal-dev_7.0-2build1_amd64.deb 14-Jan-2022 12:54 684964 regina-normal-dev_7.2-3_amd64.deb 25-Jan-2023 12:54 708542 regina-normal-dev_7.3-2_amd64.deb 05-May-2023 00:29 722216 regina-normal-doc_4.95-1build1_all.deb 16-Dec-2013 06:18 11396754 regina-normal-doc_4.96-2.1build2_all.deb 06-Feb-2016 20:41 12122398 regina-normal-doc_5.1-2build1_all.deb 26-Oct-2017 23:30 14706760 regina-normal-doc_5.1-2build2_all.deb 13-Jan-2021 20:13 14706824 regina-normal-doc_5.1-6ubuntu1_all.deb 13-Jan-2020 13:48 14845028 regina-normal-doc_7.0-2build1_all.deb 14-Jan-2022 12:54 74090500 regina-normal-doc_7.2-3_all.deb 25-Jan-2023 12:54 75082694 regina-normal-doc_7.3-2_all.deb 05-May-2023 00:29 75109754 regina-normal-mpi_4.95-1build1_amd64.deb 16-Dec-2013 06:18 53674 regina-normal-mpi_4.95-1build1_i386.deb 16-Dec-2013 06:18 52332 regina-normal-mpi_4.96-2.1build2_amd64.deb 06-Feb-2016 20:41 56058 regina-normal-mpi_4.96-2.1build2_i386.deb 06-Feb-2016 20:43 55500 regina-normal-mpi_5.1-2build1_amd64.deb 26-Oct-2017 23:30 66180 regina-normal-mpi_5.1-2build1_i386.deb 26-Oct-2017 23:31 65216 regina-normal-mpi_5.1-2build2_amd64.deb 13-Jan-2021 20:13 66372 regina-normal-mpi_5.1-2build2_i386.deb 13-Jan-2021 18:58 65104 regina-normal-mpi_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 70848 regina-normal_4.95-1build1.diff.gz 16-Dec-2013 05:48 12102 regina-normal_4.95-1build1.dsc 16-Dec-2013 05:48 1850 regina-normal_4.95-1build1_amd64.deb 16-Dec-2013 06:18 4702332 regina-normal_4.95-1build1_i386.deb 16-Dec-2013 06:18 4686282 regina-normal_4.95.orig.tar.gz 11-Nov-2013 17:14 16623992 regina-normal_4.96-2.1build2.diff.gz 06-Feb-2016 20:05 12874 regina-normal_4.96-2.1build2.dsc 06-Feb-2016 20:05 2265 regina-normal_4.96-2.1build2_amd64.deb 06-Feb-2016 20:41 8287800 regina-normal_4.96-2.1build2_i386.deb 06-Feb-2016 20:43 8380672 regina-normal_4.96.orig.tar.gz 25-Oct-2014 13:24 20864658 regina-normal_5.1-2build1.diff.gz 26-Oct-2017 20:16 14761 regina-normal_5.1-2build1.dsc 26-Oct-2017 20:16 2297 regina-normal_5.1-2build1_amd64.deb 26-Oct-2017 23:30 13855512 regina-normal_5.1-2build1_i386.deb 26-Oct-2017 23:31 14168896 regina-normal_5.1-2build2.diff.gz 13-Jan-2021 17:47 14788 regina-normal_5.1-2build2.dsc 13-Jan-2021 17:47 1984 regina-normal_5.1-2build2_amd64.deb 13-Jan-2021 20:13 13778672 regina-normal_5.1-2build2_i386.deb 13-Jan-2021 18:58 14186776 regina-normal_5.1-6ubuntu1.debian.tar.xz 13-Jan-2020 13:33 12836 regina-normal_5.1-6ubuntu1.dsc 13-Jan-2020 13:33 2374 regina-normal_5.1-6ubuntu1_amd64.deb 13-Jan-2020 13:48 14064108 regina-normal_5.1.orig.tar.gz 17-Dec-2016 05:23 27625206 regina-normal_7.0-2build1.debian.tar.xz 14-Jan-2022 11:44 14276 regina-normal_7.0-2build1.dsc 14-Jan-2022 11:44 2272 regina-normal_7.0-2build1_amd64.deb 14-Jan-2022 12:54 15034714 regina-normal_7.0.orig.tar.gz 18-Dec-2021 23:24 95327918 regina-normal_7.2-3.debian.tar.xz 25-Jan-2023 11:49 15468 regina-normal_7.2-3.dsc 25-Jan-2023 11:49 2249 regina-normal_7.2-3_amd64.deb 25-Jan-2023 12:54 16158448 regina-normal_7.2.orig.tar.gz 06-Nov-2022 03:56 96928349 regina-normal_7.3-2.debian.tar.xz 04-May-2023 23:39 14672 regina-normal_7.3-2.dsc 04-May-2023 23:39 2249 regina-normal_7.3-2_amd64.deb 05-May-2023 00:29 16492696 regina-normal_7.3.orig.tar.gz 02-May-2023 01:27 96997134
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.