| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-4_sh4.deb | 25464 bytes | 2026-08-29 00:03:01 |
| 📄 bitwuzla_0.8.2-4_sh4.buildinfo | 11684 bytes | 2026-08-29 00:03:01 |
| 📄 bitwuzla_0.8.2-4_sh4.deb | 36124 bytes | 2026-08-29 00:03:01 |
| 📄 libbitwuzla0_0.8.2-4_sh4.deb | 1666176 bytes | 2026-08-29 00:03:01 |
| 📄 python3-bitwuzla_0.8.2-4_sh4.deb | 156024 bytes | 2026-08-29 00:03:01 |