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 /raspbian/raspbian/pool/main/z/z3/

../
libz3-4_4.4.1-1~deb10u1_armhf.deb                  08-Sep-2019 04:08             3915688
libz3-4_4.8.10-1_armhf.deb                         01-Feb-2021 22:08             5688672
libz3-4_4.8.12-3.1_armhf.deb                       05-Feb-2023 20:36             5797496
libz3-cil_4.4.1-1~deb10u1_armhf.deb                08-Sep-2019 04:08               40652
libz3-dev_4.4.1-1~deb10u1_armhf.deb                08-Sep-2019 04:08               79652
libz3-dev_4.8.10-1_armhf.deb                       01-Feb-2021 22:08               90836
libz3-dev_4.8.12-3.1_armhf.deb                     05-Feb-2023 20:36               90564
libz3-java_4.4.1-1~deb10u1_armhf.deb               08-Sep-2019 04:08              146372
libz3-java_4.8.10-1_armhf.deb                      01-Feb-2021 22:08              159360
libz3-java_4.8.12-3.1_armhf.deb                    05-Feb-2023 20:36              163092
libz3-jni_4.4.1-1~deb10u1_armhf.deb                08-Sep-2019 04:08               26968
libz3-jni_4.8.10-1_armhf.deb                       01-Feb-2021 22:08               28928
libz3-jni_4.8.12-3.1_armhf.deb                     05-Feb-2023 20:36               28452
libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb          08-Sep-2019 04:08              523036
python-z3_4.4.1-1~deb10u1_armhf.deb                08-Sep-2019 04:08               67028
python3-z3_4.8.10-1_armhf.deb                      01-Feb-2021 22:08               78100
python3-z3_4.8.12-3.1_armhf.deb                    05-Feb-2023 20:36               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_armhf.deb                       08-Sep-2019 04:08             3853536
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_armhf.deb                              01-Feb-2021 22:08             5684988
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_armhf.deb                            05-Feb-2023 20:36             5800456
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.