| ⬆️Parent directory | — | — |
| 📦bitwuzla-dev_0.8.2-4_amd64.deb | 24.9K | Fri Aug 28 2026 |
| 📦bitwuzla-dev_0.8.2-4_i386.deb | 24.9K | Fri Aug 28 2026 |
| 📦bitwuzla-doc_0.8.2-4_all.deb | 206K | Fri Aug 28 2026 |
| 📦bitwuzla_0.8.2-4.debian.tar.xz | 4.62K | Fri Aug 28 2026 |
| 📄bitwuzla_0.8.2-4.dsc | 2.48K | Fri Aug 28 2026 |
| 📦bitwuzla_0.8.2-4_amd64.deb | 40.6K | Fri Aug 28 2026 |
| 📦bitwuzla_0.8.2-4_i386.deb | 39.1K | Fri Aug 28 2026 |
| 📦bitwuzla_0.8.2.orig.tar.gz | 1.99M | Mon Feb 23 2026 |
| 📦libbitwuzla0_0.8.2-4_amd64.deb | 1.46M | Fri Aug 28 2026 |
| 📦libbitwuzla0_0.8.2-4_i386.deb | 1.63M | Fri Aug 28 2026 |
| 📦python3-bitwuzla_0.8.2-4_amd64.deb | 144K | Fri Aug 28 2026 |
| 📦python3-bitwuzla_0.8.2-4_i386.deb | 142K | Fri Aug 28 2026 |