| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-3_x32.deb | 25392 bytes | 2026-07-21 12:03:01 |
| 📄 bitwuzla_0.8.2-3_x32.buildinfo | 12314 bytes | 2026-07-21 12:03:01 |
| 📄 bitwuzla_0.8.2-3_x32.deb | 37872 bytes | 2026-07-21 12:03:01 |
| 📄 libbitwuzla0_0.8.2-3_x32.deb | 1517028 bytes | 2026-07-21 12:03:01 |
| 📄 python3-bitwuzla_0.8.2-3_x32.deb | 188532 bytes | 2026-07-21 12:03:01 |