Package: python3-z3
Architecture: amd64
Version: 4.13.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: 637
Depends: libz3-dev (= 4.13.3-1build1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.13.3-1build1_amd64.deb
Size: 84860
MD5sum: 11cfe27f8dbe809fdde5a55b62ae5f23
SHA1: 13ac5eb56a53b76b5dbb7f7a5e90042e1cb1fbed
SHA256: d6288fea0e7fbe0128e62a836ae1d8e18fcbc100a39aee991108fbe5e32172c3
SHA512: ccfff62935b4a5ab8ad732e7ee322e19f77d3b091be660c626018bf679b2c1560ac49aa4f456ed0a98d4638757d74a102055366da4949f2728fa152bf5c2edb0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c