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.
../ libz3-4_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 4684144 libz3-4_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 4348632 libz3-4_4.8.12-1_arm64.deb 15-Sep-2021 12:41 5352310 libz3-4_4.8.12-1_armhf.deb 15-Sep-2021 11:59 6803762 libz3-4_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 5338086 libz3-4_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 6820558 libz3-4_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 5492238 libz3-4_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 7093394 libz3-4_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 5859784 libz3-4_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 5780596 libz3-cil_4.4.0-5_armhf.deb 08-Dec-2015 12:45 40122 libz3-cil_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 40672 libz3-cil_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 40688 libz3-dev_4.4.0-5_armhf.deb 08-Dec-2015 12:45 4435472 libz3-dev_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 64232 libz3-dev_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 64240 libz3-dev_4.8.12-1_arm64.deb 15-Sep-2021 12:41 72166 libz3-dev_4.8.12-1_armhf.deb 15-Sep-2021 11:59 72176 libz3-dev_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 72198 libz3-dev_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 72204 libz3-dev_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 72216 libz3-dev_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 72220 libz3-dev_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 67508 libz3-dev_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 67512 libz3-java_4.4.0-5_all.deb 08-Dec-2015 12:44 137208 libz3-java_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 143552 libz3-java_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 143552 libz3-java_4.8.12-1_arm64.deb 15-Sep-2021 12:41 159582 libz3-java_4.8.12-1_armhf.deb 15-Sep-2021 11:59 159580 libz3-java_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 162364 libz3-java_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 162364 libz3-java_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 162850 libz3-java_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 162850 libz3-java_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 153796 libz3-java_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 153796 libz3-jni_4.4.0-5_armhf.deb 08-Dec-2015 12:45 29178 libz3-jni_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 29900 libz3-jni_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 28944 libz3-jni_4.8.12-1_arm64.deb 15-Sep-2021 12:41 38848 libz3-jni_4.8.12-1_armhf.deb 15-Sep-2021 11:59 36084 libz3-jni_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 34992 libz3-jni_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 33762 libz3-jni_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 35724 libz3-jni_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 33722 libz3-jni_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 30644 libz3-jni_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 30116 libz3-ocaml-dev_4.4.0-5_armhf.deb 08-Dec-2015 12:45 457166 libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 500004 libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 500616 python-z3_4.4.0-5_armhf.deb 08-Dec-2015 12:45 66084 python-z3_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 67040 python-z3_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 67040 python3-z3_4.8.12-1_arm64.deb 15-Sep-2021 12:41 79904 python3-z3_4.8.12-1_armhf.deb 15-Sep-2021 11:59 79904 python3-z3_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 79808 python3-z3_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 79808 python3-z3_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 79746 python3-z3_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 79744 python3-z3_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 76544 python3-z3_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 76544 z3_4.4.0-5.debian.tar.xz 08-Dec-2015 06:10 11420 z3_4.4.0-5.dsc 08-Dec-2015 06:10 2122 z3_4.4.0-5_armhf.deb 08-Dec-2015 12:45 4387690 z3_4.4.0.orig.tar.gz 18-Jun-2015 23:23 3457136 z3_4.4.1-0.3build4.debian.tar.xz 27-Oct-2017 04:44 14424 z3_4.4.1-0.3build4.dsc 27-Oct-2017 04:44 2544 z3_4.4.1-0.3build4_arm64.deb 27-Oct-2017 07:01 4701188 z3_4.4.1-0.3build4_armhf.deb 27-Oct-2017 07:02 4366272 z3_4.4.1.orig.tar.gz 18-Jul-2016 23:45 3347371 z3_4.8.12-1.debian.tar.xz 15-Sep-2021 11:19 9896 z3_4.8.12-1.dsc 15-Sep-2021 11:19 2642 z3_4.8.12-1_arm64.deb 15-Sep-2021 12:41 5416174 z3_4.8.12-1_armhf.deb 15-Sep-2021 11:59 6828050 z3_4.8.12-3.1.debian.tar.xz 04-Feb-2023 23:47 10420 z3_4.8.12-3.1.dsc 04-Feb-2023 23:47 2663 z3_4.8.12-3.1_arm64.deb 05-Feb-2023 02:04 5412124 z3_4.8.12-3.1_armhf.deb 05-Feb-2023 01:24 6851330 z3_4.8.12-3.1build1.debian.tar.xz 22-Apr-2024 11:47 10536 z3_4.8.12-3.1build1.dsc 22-Apr-2024 11:47 2770 z3_4.8.12-3.1build1_arm64.deb 22-Apr-2024 12:45 5572736 z3_4.8.12-3.1build1_armhf.deb 22-Apr-2024 12:45 7126514 z3_4.8.12.orig.tar.gz 15-Sep-2021 11:19 4803435 z3_4.8.7-4build1.debian.tar.xz 23-Mar-2020 07:18 10080 z3_4.8.7-4build1.dsc 23-Mar-2020 07:18 2594 z3_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 5872480 z3_4.8.7-4build1_armhf.deb 23-Mar-2020 12:48 5797216 z3_4.8.7.orig.tar.gz 09-Dec-2019 05:13 4343720
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.