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.

Index of /debian/pool/main/z/z3/


../
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+b2_amd64.deb                    05-Jan-2024 20:40             7346468
libz3-4_4.8.12-3.1+b2_arm64.deb                    05-Jan-2024 20:18             6508460
libz3-4_4.8.12-3.1+b2_i386.deb                     05-Jan-2024 20:46             7989316
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.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+b2_amd64.deb                  05-Jan-2024 20:40               90860
libz3-dev_4.8.12-3.1+b2_arm64.deb                  05-Jan-2024 20:18               90816
libz3-dev_4.8.12-3.1+b2_i386.deb                   05-Jan-2024 20:46               90840
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.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+b2_amd64.deb                 05-Jan-2024 20:40              163160
libz3-java_4.8.12-3.1+b2_arm64.deb                 05-Jan-2024 20:18              163128
libz3-java_4.8.12-3.1+b2_i386.deb                  05-Jan-2024 20:46              163136
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.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+b2_amd64.deb                  05-Jan-2024 20:40               32496
libz3-jni_4.8.12-3.1+b2_arm64.deb                  05-Jan-2024 20:18               31084
libz3-jni_4.8.12-3.1+b2_i386.deb                   05-Jan-2024 20:46               40632
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.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+b2_amd64.deb                 05-Jan-2024 20:40               78312
python3-z3_4.8.12-3.1+b2_arm64.deb                 05-Jan-2024 20:18               78344
python3-z3_4.8.12-3.1+b2_i386.deb                  05-Jan-2024 20:46               78344
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.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+b2_amd64.deb                         05-Jan-2024 20:40             7366948
z3_4.8.12-3.1+b2_arm64.deb                         05-Jan-2024 20:18             6516308
z3_4.8.12-3.1+b2_i386.deb                          05-Jan-2024 20:46             8016312
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.