| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-2+b1_hurd-amd64.deb | 25608 bytes | 2026-06-28 00:03:04 |
| 📄 bitwuzla_0.8.2-2+b1_hurd-amd64.buildinfo | 12859 bytes | 2026-06-28 00:03:04 |
| 📄 bitwuzla_0.8.2-2+b1_hurd-amd64.deb | 37968 bytes | 2026-06-28 00:03:04 |
| 📄 libbitwuzla0_0.8.2-2+b1_hurd-amd64.deb | 1460348 bytes | 2026-06-28 00:03:04 |
| 📄 python3-bitwuzla_0.8.2-2+b1_hurd-amd64.deb | 143660 bytes | 2026-06-28 00:03:04 |