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.
../ 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.