| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-2+b1_hurd-i386.deb | 25584 bytes | 2026-07-03 18:03:02 |
| 📄 bitwuzla_0.8.2-2+b1_hurd-i386.buildinfo | 12796 bytes | 2026-07-03 18:03:02 |
| 📄 bitwuzla_0.8.2-2+b1_hurd-i386.deb | 39056 bytes | 2026-07-03 18:03:02 |
| 📄 libbitwuzla0_0.8.2-2+b1_hurd-i386.deb | 1667976 bytes | 2026-07-03 18:03:02 |
| 📄 python3-bitwuzla_0.8.2-2+b1_hurd-i386.deb | 141540 bytes | 2026-07-03 18:03:02 |