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_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.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 5251104 libz3-4_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 4561092 libz3-4_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 5792644 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-cil_4.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 40732 libz3-cil_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 40728 libz3-cil_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 40728 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.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 79648 libz3-dev_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 79648 libz3-dev_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 79648 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_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.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 146372 libz3-java_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 146372 libz3-java_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 146372 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_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.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 31568 libz3-jni_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 29644 libz3-jni_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 41524 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 libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 526152 libz3-ocaml-dev_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 517808 libz3-ocaml-dev_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 497860 python-z3_4.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 67028 python-z3_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 67028 python-z3_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 67020 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.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.4.1-1~deb10u1.debian.tar.xz 24-Aug-2019 10:56 14716 z3_4.4.1-1~deb10u1.dsc 24-Aug-2019 10:56 3055 z3_4.4.1-1~deb10u1_amd64.deb 25-Aug-2019 16:14 5266068 z3_4.4.1-1~deb10u1_arm64.deb 25-Aug-2019 18:16 4566276 z3_4.4.1-1~deb10u1_i386.deb 25-Aug-2019 16:29 5809160 z3_4.4.1.orig.tar.gz 18-Jul-2016 10:19 3347371 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.