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_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.4.1-1.1_amd64.deb 16-Dec-2025 12:27 925808 regina-normal-dev_7.4.1-1.1_arm64.deb 16-Dec-2025 12:27 925808 regina-normal-dev_7.4.1-1.1_i386.deb 16-Dec-2025 12:38 925444 regina-normal-dev_7.4.1-1_amd64.deb 29-Nov-2025 23:29 926608 regina-normal-dev_7.4.1-1_arm64.deb 29-Nov-2025 23:24 926604 regina-normal-dev_7.4.1-1_i386.deb 29-Nov-2025 23:39 926568 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.4.1-1.1_all.deb 16-Dec-2025 12:27 87494820 regina-normal-doc_7.4.1-1_all.deb 29-Nov-2025 23:24 87193684 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.orig.tar.gz 19-Mar-2023 00:48 96997134 regina-normal_7.4.1-1.1.debian.tar.xz 14-Dec-2025 11:36 14636 regina-normal_7.4.1-1.1.dsc 14-Dec-2025 11:36 2248 regina-normal_7.4.1-1.1_amd64.deb 16-Dec-2025 12:27 23293780 regina-normal_7.4.1-1.1_arm64.deb 16-Dec-2025 12:27 21798900 regina-normal_7.4.1-1.1_i386.deb 16-Dec-2025 12:38 23897484 regina-normal_7.4.1-1.debian.tar.xz 29-Nov-2025 22:38 14548 regina-normal_7.4.1-1.dsc 29-Nov-2025 22:38 2210 regina-normal_7.4.1-1_amd64.deb 29-Nov-2025 23:29 23290512 regina-normal_7.4.1-1_arm64.deb 29-Nov-2025 23:24 21798840 regina-normal_7.4.1-1_i386.deb 29-Nov-2025 23:39 23900872 regina-normal_7.4.1.orig.tar.gz 29-Nov-2025 22:38 113058518
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.