| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| z3_4.8.12-3.1_amd64.deb | 7229996 | 2026-Jan-06 22:03 |
| python3-z3_4.8.12-3.1_amd64.deb | 78304 | 2026-Jan-06 22:03 |
| libz3-jni_4.8.12-3.1_amd64.deb | 32452 | 2026-Jan-06 22:03 |
| libz3-java_4.8.12-3.1_amd64.deb | 163148 | 2026-Jan-06 22:03 |
| libz3-dev_4.8.12-3.1_amd64.deb | 90560 | 2026-Jan-06 22:03 |
| libz3-4_4.8.12-3.1_amd64.deb | 7216172 | 2026-Jan-06 22:03 |