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/b/bitwuzla/


../
bitwuzla-dev_0.8.2-2_amd64.deb                     02-Mar-2026 17:38               25300
bitwuzla-dev_0.8.2-2_arm64.deb                     02-Mar-2026 16:57               25296
bitwuzla-dev_0.8.2-2_i386.deb                      02-Mar-2026 17:43               25296
bitwuzla-doc_0.8.2-2_all.deb                       02-Mar-2026 17:02              204900
bitwuzla_0.8.2-2.debian.tar.xz                     02-Mar-2026 16:15                4364
bitwuzla_0.8.2-2.dsc                               02-Mar-2026 16:15                2518
bitwuzla_0.8.2-2_amd64.deb                         02-Mar-2026 17:38               37632
bitwuzla_0.8.2-2_arm64.deb                         02-Mar-2026 16:57               30612
bitwuzla_0.8.2-2_i386.deb                          02-Mar-2026 17:43               38668
bitwuzla_0.8.2.orig.tar.gz                         23-Feb-2026 15:31             2080406
libbitwuzla0_0.8.2-2_amd64.deb                     02-Mar-2026 17:38             1507396
libbitwuzla0_0.8.2-2_arm64.deb                     02-Mar-2026 16:57             1242184
libbitwuzla0_0.8.2-2_i386.deb                      02-Mar-2026 17:43             1715500
python3-bitwuzla_0.8.2-2_amd64.deb                 02-Mar-2026 17:38              142040
python3-bitwuzla_0.8.2-2_arm64.deb                 02-Mar-2026 16:57              119648
python3-bitwuzla_0.8.2-2_i386.deb                  02-Mar-2026 17:43              141516

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.