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_6.0.1-4_amd64.deb 19-Apr-2021 09:28 674328 regina-normal-dev_6.0.1-4_arm64.deb 19-Apr-2021 09:44 674328 regina-normal-dev_6.0.1-4_i386.deb 19-Apr-2021 09:44 674360 regina-normal-dev_7.3-2_amd64.deb 04-May-2023 15:30 830256 regina-normal-dev_7.3-2_arm64.deb 04-May-2023 16:10 830256 regina-normal-dev_7.3-2_i386.deb 04-May-2023 15:14 830276 regina-normal-dev_7.3.1-3_amd64.deb 23-Jul-2025 13:48 832048 regina-normal-dev_7.3.1-3_arm64.deb 23-Jul-2025 14:54 832048 regina-normal-dev_7.3.1-3_i386.deb 23-Jul-2025 13:48 832048 regina-normal-doc_6.0.1-4_all.deb 19-Apr-2021 09:13 14649796 regina-normal-doc_7.3-2_all.deb 04-May-2023 15:09 74823508 regina-normal-doc_7.3.1-3_all.deb 23-Jul-2025 13:43 74844892 regina-normal_6.0.1-4.debian.tar.xz 19-Apr-2021 08:33 21780 regina-normal_6.0.1-4.dsc 19-Apr-2021 08:33 2219 regina-normal_6.0.1-4_amd64.deb 19-Apr-2021 09:28 14505188 regina-normal_6.0.1-4_arm64.deb 19-Apr-2021 09:44 13990496 regina-normal_6.0.1-4_i386.deb 19-Apr-2021 09:44 14937924 regina-normal_6.0.1.orig.tar.gz 11-Feb-2021 13:00 31072348 regina-normal_7.3-2.debian.tar.xz 04-May-2023 13:54 14672 regina-normal_7.3-2.dsc 04-May-2023 13:54 2249 regina-normal_7.3-2_amd64.deb 04-May-2023 15:30 16734696 regina-normal_7.3-2_arm64.deb 04-May-2023 16:10 15805256 regina-normal_7.3-2_i386.deb 04-May-2023 15:14 17158584 regina-normal_7.3.1-3.debian.tar.xz 23-Jul-2025 12:57 17844 regina-normal_7.3.1-3.dsc 23-Jul-2025 12:57 2260 regina-normal_7.3.1-3_amd64.deb 23-Jul-2025 13:48 17890116 regina-normal_7.3.1-3_arm64.deb 23-Jul-2025 14:54 16876344 regina-normal_7.3.1-3_i386.deb 23-Jul-2025 13:48 18297464 regina-normal_7.3.1.orig.tar.gz 10-Jul-2025 14:10 97272020 regina-normal_7.3.orig.tar.gz 19-Mar-2023 00:48 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.