Package: python-z3
Architecture: i386
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_i386.deb
Size: 67040
MD5sum: e309f32682433f3322c607899ac7ebe5
SHA1: 9e9c8cac3f39248ae2856642941a82e15f14b654
SHA256: 93d0aff6857e03d0942140f46b48b893ae0224d3aa360ca7552e8dcb071f6a80
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python bindings
Description-md5: e83dc748efc5bac8845fdd9aae7cceee