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.
../ bitwuzla-dev_0.8.2-4+b1_amd64.deb 27-Oct-2026 17:16 25752 bitwuzla-dev_0.8.2-4+b1_arm64.deb 27-Oct-2026 17:11 25744 bitwuzla-dev_0.8.2-4+b1_i386.deb 27-Oct-2026 18:08 25760 bitwuzla-doc_0.8.2-4_all.deb 28-Aug-2026 10:25 210752 bitwuzla_0.8.2-4+b1_amd64.deb 27-Oct-2026 17:16 42012 bitwuzla_0.8.2-4+b1_arm64.deb 27-Oct-2026 17:11 31252 bitwuzla_0.8.2-4+b1_i386.deb 27-Oct-2026 18:08 40300 bitwuzla_0.8.2-4.debian.tar.xz 28-Aug-2026 09:55 4724 bitwuzla_0.8.2-4.dsc 28-Aug-2026 09:55 2535 bitwuzla_0.8.2.orig.tar.gz 23-Feb-2026 15:31 2080406 libbitwuzla0_0.8.2-4+b1_amd64.deb 27-Oct-2026 17:16 1522124 libbitwuzla0_0.8.2-4+b1_arm64.deb 27-Oct-2026 17:11 1225052 libbitwuzla0_0.8.2-4+b1_i386.deb 27-Oct-2026 18:08 1705572 python3-bitwuzla_0.8.2-4+b1_amd64.deb 27-Oct-2026 17:16 196828 python3-bitwuzla_0.8.2-4+b1_arm64.deb 27-Oct-2026 17:11 150768 python3-bitwuzla_0.8.2-4+b1_i386.deb 27-Oct-2026 18:08 184512
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.