| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 libz3-4-dbgsym_4.13.3-1+b2_ppc64.deb | 174067696 bytes | 2026-04-30 00:04:14 |
| 📄 libz3-4_4.13.3-1+b2_ppc64.deb | 8619336 bytes | 2026-04-30 00:04:14 |
| 📄 libz3-dev_4.13.3-1+b2_ppc64.deb | 104800 bytes | 2026-04-30 00:04:14 |
| 📄 python3-z3_4.13.3-1+b2_ppc64.deb | 83576 bytes | 2026-04-30 00:04:14 |
| 📄 z3-dbgsym_4.13.3-1+b2_ppc64.deb | 175735724 bytes | 2026-04-30 00:04:14 |
| 📄 z3_4.13.3-1+b2_ppc64.buildinfo | 14751 bytes | 2026-04-30 00:04:14 |
| 📄 z3_4.13.3-1+b2_ppc64.deb | 8601880 bytes | 2026-04-30 00:04:14 |