Index of
![[ICO]](../../directory-listing/icons/blank.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](../../directory-listing/icons/folder-home.svg){kind=icon} | Parent Directory | - | |
![[ ]](../../directory-listing/icons/archive.svg){kind=icon} | z3-v4.8.7.2.zip | 2019-12-16 22:22 | 14M |
![[ ]](../../directory-listing/icons/package.svg){kind=icon} | z3_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 6.7M |
| libz3-4_4.8.7-2_amd64.deb | 2019-12-16 22:20 | 6.5M |
| libz3-ocaml-dev_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 547K |
| libz3-java_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 150K |
| libz3-dev_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 85K |
| python3-z3_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 75K |
| libz3-jni_4.8.7-2_amd64.deb | 2019-12-16 22:19 | 32K |