The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
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[@]dogado.de.
../ 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.
Health stats visible at Monitor.