../ libz3-4_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 5158922 libz3-cil_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 40522 libz3-dev_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 79164 libz3-java_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 143424 libz3-jni_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 29718 libz3-ocaml-dev_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 452300 python-z3_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 66910 z3_4.4.1-0.3_amd64.deb 27-Nov-2019 13:11 5175082