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_arm64.deb 16-Dec-2013 07:48 394992 regina-normal-dev_4.95-1build1_armhf.deb 16-Dec-2013 07:18 394806 regina-normal-dev_4.96-2.1build2_arm64.deb 06-Feb-2016 21:16 421278 regina-normal-dev_4.96-2.1build2_armhf.deb 06-Feb-2016 22:31 421498 regina-normal-dev_5.1-2build1_arm64.deb 27-Oct-2017 09:31 499560 regina-normal-dev_5.1-2build1_armhf.deb 27-Oct-2017 03:14 499544 regina-normal-dev_5.1-2build2_arm64.deb 13-Jan-2021 20:58 499600 regina-normal-dev_5.1-2build2_armhf.deb 13-Jan-2021 20:58 499568 regina-normal-dev_5.1-6ubuntu1_arm64.deb 13-Jan-2020 14:43 499484 regina-normal-dev_5.1-6ubuntu1_armhf.deb 13-Jan-2020 14:43 499476 regina-normal-dev_7.0-2build1_arm64.deb 14-Jan-2022 14:44 684966 regina-normal-dev_7.0-2build1_armhf.deb 14-Jan-2022 14:24 684962 regina-normal-dev_7.2-3_arm64.deb 25-Jan-2023 12:54 708544 regina-normal-dev_7.2-3_armhf.deb 25-Jan-2023 12:54 708542 regina-normal-dev_7.3-2_arm64.deb 05-May-2023 00:29 722222 regina-normal-dev_7.3-2_armhf.deb 05-May-2023 02:34 722218 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_arm64.deb 16-Dec-2013 07:48 40952 regina-normal-mpi_4.95-1build1_armhf.deb 16-Dec-2013 07:18 33134 regina-normal-mpi_4.96-2.1build2_arm64.deb 06-Feb-2016 21:16 56702 regina-normal-mpi_4.96-2.1build2_armhf.deb 06-Feb-2016 22:31 36850 regina-normal-mpi_5.1-2build1_arm64.deb 27-Oct-2017 09:31 61044 regina-normal-mpi_5.1-2build1_armhf.deb 27-Oct-2017 03:14 40744 regina-normal-mpi_5.1-2build2_arm64.deb 13-Jan-2021 20:58 61824 regina-normal-mpi_5.1-2build2_armhf.deb 13-Jan-2021 20:58 40524 regina-normal-mpi_5.1-6ubuntu1_arm64.deb 13-Jan-2020 14:43 65200 regina-normal-mpi_5.1-6ubuntu1_armhf.deb 13-Jan-2020 14:43 44728 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_arm64.deb 16-Dec-2013 07:48 4528776 regina-normal_4.95-1build1_armhf.deb 16-Dec-2013 07:18 4357182 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_arm64.deb 06-Feb-2016 21:16 8098646 regina-normal_4.96-2.1build2_armhf.deb 06-Feb-2016 22:31 7905630 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_arm64.deb 27-Oct-2017 09:31 13137348 regina-normal_5.1-2build1_armhf.deb 27-Oct-2017 03:14 13366916 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_arm64.deb 13-Jan-2021 20:58 13130572 regina-normal_5.1-2build2_armhf.deb 13-Jan-2021 20:58 13371828 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_arm64.deb 13-Jan-2020 14:43 14121960 regina-normal_5.1-6ubuntu1_armhf.deb 13-Jan-2020 14:43 13695184 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_arm64.deb 14-Jan-2022 14:44 14412434 regina-normal_7.0-2build1_armhf.deb 14-Jan-2022 14:24 15226996 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_arm64.deb 25-Jan-2023 12:54 15452914 regina-normal_7.2-3_armhf.deb 25-Jan-2023 12:54 16394794 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_arm64.deb 05-May-2023 00:29 15777064 regina-normal_7.3-2_armhf.deb 05-May-2023 02:34 16889968 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.