Package: python3-z3
Architecture: amd64
Version: 4.13.3-1
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-1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.13.3-1_amd64.deb
Size: 84980
MD5sum: 6d28fae115a631b6a98ac1e9673e3c27
SHA1: a911b59b7ede83a228f905909a1c2ba0a85e326a
SHA256: bc1a425e0b889242a06c11012eecf3f0f58da65f6a06c75fdac5827a1eead666
SHA512: a1d9c6f18dad66d2ce4184b2b44f6bc923e9d044b238dad225374fae2ac8d3ed8ff943bab0c2429c3221b4c5f6bcc2d600d236dc4f2c8dcc3b0126b65ddd7c43
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c