../ libz3-cil_4.4.0-5_amd64.deb 16-Mar-2016 10:27 40156 libz3-dev_4.4.0-5_amd64.deb 16-Mar-2016 10:46 5311238 libz3-java_4.4.0-5_all.deb 16-Mar-2016 10:12 137208 libz3-jni_4.4.0-5_amd64.deb 16-Mar-2016 09:57 30916 libz3-ocaml-dev_4.4.0-5_amd64.deb 16-Mar-2016 09:41 454228 python-z3_4.4.0-5_amd64.deb 16-Mar-2016 10:36 66192 z3_4.4.0-5_amd64.deb 16-Mar-2016 11:01 5239022