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 12:18 6868600 libz3-4_4.13.3-1_i386.deb 05-Nov-2024 12:19 9906832 libz3-4_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 5183404 libz3-4_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 5710876 libz3-4_4.8.12-1_amd64.deb 15-Sep-2021 11:33 5766000 libz3-4_4.8.12-1_i386.deb 15-Sep-2021 11:59 8428298 libz3-4_4.8.12-3.1_amd64.deb 05-Feb-2023 01:24 5777552 libz3-4_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 8477746 libz3-4_4.8.12-3.1build1_amd64.deb 22-Apr-2024 11:47 5836188 libz3-4_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 8609100 libz3-4_4.8.7-4build1_amd64.deb 23-Mar-2020 09:03 6791576 libz3-4_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 7404772 libz3-cil_4.4.0-5_amd64.deb 08-Dec-2015 12:45 40156 libz3-cil_4.4.0-5_i386.deb 08-Dec-2015 12:45 40172 libz3-cil_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 40792 libz3-cil_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 40620 libz3-dev_4.13.3-1_amd64.deb 05-Nov-2024 12:18 80148 libz3-dev_4.13.3-1_i386.deb 05-Nov-2024 12:19 80130 libz3-dev_4.4.0-5_amd64.deb 08-Dec-2015 12:44 5311238 libz3-dev_4.4.0-5_i386.deb 08-Dec-2015 12:45 5676182 libz3-dev_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 64240 libz3-dev_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 64236 libz3-dev_4.8.12-1_amd64.deb 15-Sep-2021 11:33 72178 libz3-dev_4.8.12-1_i386.deb 15-Sep-2021 11:59 72162 libz3-dev_4.8.12-3.1_amd64.deb 05-Feb-2023 01:24 72206 libz3-dev_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 72194 libz3-dev_4.8.12-3.1build1_amd64.deb 22-Apr-2024 11:47 72222 libz3-dev_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 72204 libz3-dev_4.8.7-4build1_amd64.deb 23-Mar-2020 09:03 67512 libz3-dev_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 67508 libz3-java_4.13.3-1_amd64.deb 05-Nov-2024 12:18 181116 libz3-java_4.13.3-1_i386.deb 05-Nov-2024 12:19 181118 libz3-java_4.4.0-5_all.deb 08-Dec-2015 12:44 137208 libz3-java_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 143552 libz3-java_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 143552 libz3-java_4.8.12-1_amd64.deb 15-Sep-2021 11:33 159582 libz3-java_4.8.12-1_i386.deb 15-Sep-2021 11:59 159582 libz3-java_4.8.12-3.1_amd64.deb 05-Feb-2023 01:24 162364 libz3-java_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 162366 libz3-java_4.8.12-3.1build1_amd64.deb 22-Apr-2024 11:47 162850 libz3-java_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 162852 libz3-java_4.8.7-4build1_amd64.deb 23-Mar-2020 09:03 153796 libz3-java_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 153796 libz3-jni_4.13.3-1_amd64.deb 05-Nov-2024 12:18 42450 libz3-jni_4.13.3-1_i386.deb 05-Nov-2024 12:19 53530 libz3-jni_4.4.0-5_amd64.deb 08-Dec-2015 12:44 30916 libz3-jni_4.4.0-5_i386.deb 08-Dec-2015 12:45 40718 libz3-jni_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 31320 libz3-jni_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 40972 libz3-jni_4.8.12-1_amd64.deb 15-Sep-2021 11:33 43032 libz3-jni_4.8.12-1_i386.deb 15-Sep-2021 11:59 50060 libz3-jni_4.8.12-3.1_amd64.deb 05-Feb-2023 01:24 38166 libz3-jni_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 48110 libz3-jni_4.8.12-3.1build1_amd64.deb 22-Apr-2024 11:47 37828 libz3-jni_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 47050 libz3-jni_4.8.7-4build1_amd64.deb 23-Mar-2020 09:03 32920 libz3-jni_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 39572 libz3-ocaml-dev_4.4.0-5_amd64.deb 08-Dec-2015 12:45 454228 libz3-ocaml-dev_4.4.0-5_i386.deb 08-Dec-2015 12:45 425058 libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 490736 libz3-ocaml-dev_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 470756 python-z3_4.4.0-5_amd64.deb 08-Dec-2015 12:45 66192 python-z3_4.4.0-5_i386.deb 08-Dec-2015 12:45 66174 python-z3_4.4.1-0.3build4_amd64.deb 27-Oct-2017 04:44 67040 python-z3_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 67040 python3-z3_4.13.3-1_amd64.deb 05-Nov-2024 12:18 84980 python3-z3_4.13.3-1_i386.deb 05-Nov-2024 12:19 84982 python3-z3_4.8.12-1_amd64.deb 15-Sep-2021 11:33 79904 python3-z3_4.8.12-1_i386.deb 15-Sep-2021 11:59 79902 python3-z3_4.8.12-3.1_amd64.deb 05-Feb-2023 01:24 79808 python3-z3_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 79808 python3-z3_4.8.12-3.1build1_amd64.deb 22-Apr-2024 11:47 79746 python3-z3_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 79748 python3-z3_4.8.7-4build1_amd64.deb 23-Mar-2020 09:03 76544 python3-z3_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 76544 z3_4.13.3-1.debian.tar.xz 05-Nov-2024 12:18 10696 z3_4.13.3-1.dsc 05-Nov-2024 12:18 2704 z3_4.13.3-1_amd64.deb 05-Nov-2024 12:18 6953690 z3_4.13.3-1_i386.deb 05-Nov-2024 12:19 9920408 z3_4.13.3.orig.tar.gz 05-Nov-2024 12:18 5583533 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_amd64.deb 08-Dec-2015 12:45 5239022 z3_4.4.0-5_i386.deb 08-Dec-2015 12:45 5631592 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_amd64.deb 27-Oct-2017 04:44 5204028 z3_4.4.1-0.3build4_i386.deb 27-Oct-2017 04:53 5735040 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_amd64.deb 15-Sep-2021 11:33 5848912 z3_4.8.12-1_i386.deb 15-Sep-2021 11:59 8460942 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_amd64.deb 05-Feb-2023 01:24 5859492 z3_4.8.12-3.1_i386.deb 05-Feb-2023 01:24 8512692 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_amd64.deb 22-Apr-2024 11:47 5910556 z3_4.8.12-3.1build1_i386.deb 22-Apr-2024 11:48 8648054 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_amd64.deb 23-Mar-2020 09:03 6808260 z3_4.8.7-4build1_i386.deb 23-Mar-2020 08:39 7428156 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.