Package: python-z3
Priority: extra
Section: universe/python
Installed-Size: 538
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), python:any (<< 2.8), python:any (>= 2.7.5-5~)
Filename: pool/universe/z/z3/python-z3_4.4.0-5_i386.deb
Size: 66174
MD5sum: f6e7ce561910471faa87fbe749e739e6
SHA1: 841170b3c321a7a3f25f1b5aa5852377daf185dc
SHA256: a159a018011f81769db82c313f8f55c9f674b4f281c5cf640e8db68890d2dbad
Description: theorem prover from Microsoft Research - Python bindings
Multi-Arch: same
Homepage: https://github.com/Z3Prover/z3
Description-md5: e83dc748efc5bac8845fdd9aae7cceee
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu