| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 bitwuzla-dev_0.8.2-2_m68k.deb | 25300 bytes | 2026-03-03 00:03:02 |
| 📄 bitwuzla_0.8.2-2_m68k.buildinfo | 11853 bytes | 2026-03-03 00:03:02 |
| 📄 bitwuzla_0.8.2-2_m68k.deb | 30284 bytes | 2026-03-03 00:03:02 |
| 📄 libbitwuzla0_0.8.2-2_m68k.deb | 1513628 bytes | 2026-03-03 00:03:02 |
| 📄 python3-bitwuzla_0.8.2-2_m68k.deb | 129952 bytes | 2026-03-03 00:03:02 |