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