Package: python-z3 Architecture: amd64 Version: 4.4.1-0.3build4 Multi-Arch: same Priority: extra Section: universe/python Source: z3 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 541 Depends: libz3-dev (= 4.4.1-0.3build4), python:any (<< 2.8), python:any (>= 2.7.5-5~) Filename: pool/universe/z/z3/python-z3_4.4.1-0.3build4_amd64.deb Size: 67040 MD5sum: e21e19ab6b4e80d0edb5058ef0f1ce6e SHA1: e8136505bc21515719ded9b010e017b5b348a593 SHA256: b50d5345cfb2ac26a13837ba05ab8bd52aca6b450a897f9e997322b22ee994e0 Homepage: https://github.com/Z3Prover/z3 Description: theorem prover from Microsoft Research - Python bindings Description-md5: e83dc748efc5bac8845fdd9aae7cceee