../ libz3-cil_4.4.0-5_amd64.deb 08-Dec-2015 12:45 40156 libz3-dev_4.4.0-5_amd64.deb 08-Dec-2015 12:44 5311238 libz3-java_4.4.0-5_all.deb 08-Dec-2015 12:44 137208 libz3-jni_4.4.0-5_amd64.deb 08-Dec-2015 12:44 30916 libz3-ocaml-dev_4.4.0-5_amd64.deb 08-Dec-2015 12:45 454228 python-z3_4.4.0-5_amd64.deb 08-Dec-2015 12:45 66192 z3_4.4.0-5_amd64.deb 08-Dec-2015 12:45 5239022