| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-4_x32.deb | 25476 bytes | 2026-08-28 12:03:02 |
| 📄 bitwuzla_0.8.2-4_x32.buildinfo | 11914 bytes | 2026-08-28 12:03:02 |
| 📄 bitwuzla_0.8.2-4_x32.deb | 41628 bytes | 2026-08-28 12:03:02 |
| 📄 libbitwuzla0_0.8.2-4_x32.deb | 1544216 bytes | 2026-08-28 12:03:02 |
| 📄 python3-bitwuzla_0.8.2-4_x32.deb | 153588 bytes | 2026-08-28 12:03:02 |