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.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 8643656 libz3-4_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 7361780 libz3-4_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 9235560 libz3-4_4.13.3-1.1_amd64.deb 14-May-2026 07:42 8643868 libz3-4_4.13.3-1.1_arm64.deb 14-May-2026 07:42 7361388 libz3-4_4.13.3-1.1_i386.deb 14-May-2026 07:47 9235712 libz3-4_4.13.3-1_amd64.deb 05-Nov-2024 08:11 8560036 libz3-4_4.13.3-1_arm64.deb 05-Nov-2024 09:18 7506868 libz3-4_4.13.3-1_i386.deb 05-Nov-2024 08:16 9210568 libz3-4_4.8.10-1_amd64.deb 29-Jan-2021 18:12 6949460 libz3-4_4.8.10-1_arm64.deb 29-Jan-2021 18:17 6116964 libz3-4_4.8.10-1_i386.deb 29-Jan-2021 18:12 7737496 libz3-4_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 7216172 libz3-4_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 6281640 libz3-4_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 7853080 libz3-dev_4.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 104796 libz3-dev_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 104792 libz3-dev_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 104796 libz3-dev_4.13.3-1.1_amd64.deb 14-May-2026 07:42 104508 libz3-dev_4.13.3-1.1_arm64.deb 14-May-2026 07:42 104508 libz3-dev_4.13.3-1.1_i386.deb 14-May-2026 07:47 104504 libz3-dev_4.13.3-1_amd64.deb 05-Nov-2024 08:11 106528 libz3-dev_4.13.3-1_arm64.deb 05-Nov-2024 09:18 106528 libz3-dev_4.13.3-1_i386.deb 05-Nov-2024 08:16 106528 libz3-dev_4.8.10-1_amd64.deb 29-Jan-2021 18:12 90828 libz3-dev_4.8.10-1_arm64.deb 29-Jan-2021 18:17 90832 libz3-dev_4.8.10-1_i386.deb 29-Jan-2021 18:12 90828 libz3-dev_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 90560 libz3-dev_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 90560 libz3-dev_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 90556 libz3-java_4.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 182328 libz3-java_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 182332 libz3-java_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 182336 libz3-java_4.13.3-1.1_amd64.deb 14-May-2026 07:42 182352 libz3-java_4.13.3-1.1_arm64.deb 14-May-2026 07:42 182352 libz3-java_4.13.3-1.1_i386.deb 14-May-2026 07:47 182348 libz3-java_4.13.3-1_amd64.deb 05-Nov-2024 08:11 182208 libz3-java_4.13.3-1_arm64.deb 05-Nov-2024 09:18 182208 libz3-java_4.13.3-1_i386.deb 05-Nov-2024 08:16 182208 libz3-java_4.8.10-1_amd64.deb 29-Jan-2021 18:12 159340 libz3-java_4.8.10-1_arm64.deb 29-Jan-2021 18:17 159336 libz3-java_4.8.10-1_i386.deb 29-Jan-2021 18:12 159336 libz3-java_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 163148 libz3-java_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 163148 libz3-java_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 163148 libz3-jni_4.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 37328 libz3-jni_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 35640 libz3-jni_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 45812 libz3-jni_4.13.3-1.1_amd64.deb 14-May-2026 07:42 37104 libz3-jni_4.13.3-1.1_arm64.deb 14-May-2026 07:42 35672 libz3-jni_4.13.3-1.1_i386.deb 14-May-2026 07:47 45896 libz3-jni_4.13.3-1_amd64.deb 05-Nov-2024 08:11 37436 libz3-jni_4.13.3-1_arm64.deb 05-Nov-2024 09:18 35628 libz3-jni_4.13.3-1_i386.deb 05-Nov-2024 08:16 46216 libz3-jni_4.8.10-1_amd64.deb 29-Jan-2021 18:12 32728 libz3-jni_4.8.10-1_arm64.deb 29-Jan-2021 18:17 30660 libz3-jni_4.8.10-1_i386.deb 29-Jan-2021 18:12 40184 libz3-jni_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 32452 libz3-jni_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 30644 libz3-jni_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 40128 python3-z3_4.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 83568 python3-z3_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 83520 python3-z3_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 83556 python3-z3_4.13.3-1.1_amd64.deb 14-May-2026 07:42 83516 python3-z3_4.13.3-1.1_arm64.deb 14-May-2026 07:42 83516 python3-z3_4.13.3-1.1_i386.deb 14-May-2026 07:47 83512 python3-z3_4.13.3-1_amd64.deb 05-Nov-2024 08:11 83500 python3-z3_4.13.3-1_arm64.deb 05-Nov-2024 09:18 83500 python3-z3_4.13.3-1_i386.deb 05-Nov-2024 08:16 83500 python3-z3_4.8.10-1_amd64.deb 29-Jan-2021 18:12 78104 python3-z3_4.8.10-1_arm64.deb 29-Jan-2021 18:17 78100 python3-z3_4.8.10-1_i386.deb 29-Jan-2021 18:12 78100 python3-z3_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 78304 python3-z3_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 78304 python3-z3_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 78308 z3_4.13.3-1+b2_amd64.deb 29-Apr-2026 14:59 8650460 z3_4.13.3-1+b2_arm64.deb 29-Apr-2026 14:00 7360688 z3_4.13.3-1+b2_i386.deb 29-Apr-2026 15:04 9240980 z3_4.13.3-1.1.debian.tar.xz 04-May-2026 13:07 10736 z3_4.13.3-1.1.dsc 04-May-2026 13:07 2771 z3_4.13.3-1.1_amd64.deb 14-May-2026 07:42 8649548 z3_4.13.3-1.1_arm64.deb 14-May-2026 07:42 7360868 z3_4.13.3-1.1_i386.deb 14-May-2026 07:47 9240768 z3_4.13.3-1.debian.tar.xz 05-Nov-2024 07:40 10696 z3_4.13.3-1.dsc 05-Nov-2024 07:40 2704 z3_4.13.3-1_amd64.deb 05-Nov-2024 08:11 8566180 z3_4.13.3-1_arm64.deb 05-Nov-2024 09:18 7503940 z3_4.13.3-1_i386.deb 05-Nov-2024 08:16 9218528 z3_4.13.3.orig.tar.gz 05-Nov-2024 07:40 5583533 z3_4.8.10-1.debian.tar.xz 29-Jan-2021 17:20 10112 z3_4.8.10-1.dsc 29-Jan-2021 17:20 2645 z3_4.8.10-1_amd64.deb 29-Jan-2021 18:12 6966116 z3_4.8.10-1_arm64.deb 29-Jan-2021 18:17 6125564 z3_4.8.10-1_i386.deb 29-Jan-2021 18:12 7758716 z3_4.8.10.orig.tar.gz 29-Jan-2021 17:20 4731869 z3_4.8.12-3.1.debian.tar.xz 01-Feb-2023 15:12 10420 z3_4.8.12-3.1.dsc 01-Feb-2023 15:12 2663 z3_4.8.12-3.1_amd64.deb 01-Feb-2023 16:28 7229996 z3_4.8.12-3.1_arm64.deb 01-Feb-2023 16:58 6286332 z3_4.8.12-3.1_i386.deb 01-Feb-2023 16:22 7872004 z3_4.8.12.orig.tar.gz 11-Sep-2021 16:38 4803435
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.