| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-4+b1_sparc64.deb | 25760 bytes | 2026-10-27 18:03:02 |
| 📄 bitwuzla_0.8.2-4+b1_sparc64.buildinfo | 12344 bytes | 2026-10-27 18:03:02 |
| 📄 bitwuzla_0.8.2-4+b1_sparc64.deb | 28080 bytes | 2026-10-27 18:03:02 |
| 📄 libbitwuzla0_0.8.2-4+b1_sparc64.deb | 1102376 bytes | 2026-10-27 18:03:02 |
| 📄 python3-bitwuzla_0.8.2-4+b1_sparc64.deb | 142388 bytes | 2026-10-27 18:03:02 |