Package: python3-z3
Architecture: amd64
Version: 4.8.12-3.1build1
Priority: optional
Section: universe/python
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 595
Depends: libz3-dev (= 4.8.12-3.1build1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.12-3.1build1_amd64.deb
Size: 79746
MD5sum: 1783f00253b67c17a503019438236d46
SHA1: 196b71224e0116ae85848152fb4be6483b91b4ab
SHA256: a512be598e438ee4442f14fd20ea41d7b753b3eeaf14e17c82f120ab740378c2
SHA512: dda67ff3fccaf4aace957c7923ccd8a03935f2fe956acba6cc1b8de293df12075b05e2e4a040705ea98d4327e6ab198a47d2a41143e602f79b07da0a6f46505d
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c