| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libz3-4_4.8.7-4_amd64.deb | 6789644 | 2020-May-12 09:40 |
| libz3-dev_4.8.7-4_amd64.deb | 87312 | 2020-May-12 09:40 |
| libz3-java_4.8.7-4_amd64.deb | 153736 | 2020-May-12 09:40 |
| libz3-jni_4.8.7-4_amd64.deb | 32620 | 2020-May-12 09:40 |
| python3-z3_4.8.7-4_amd64.deb | 76520 | 2020-May-12 09:44 |
| z3_4.8.7-4_amd64.deb | 6801176 | 2020-May-12 09:48 |