Package: python3-z3
Architecture: amd64
Version: 4.8.12-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: 595
Depends: libz3-dev (= 4.8.12-3.1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.12-3.1_amd64.deb
Size: 79808
MD5sum: aec82c92bc505851cfc681e086a39f2b
SHA1: 5b6428584e76fea0a18c1930654c8f510a26d99d
SHA256: 45f3274861a0b3c6243d10566f5707dfec7239f1a7c0800624eb6dd34f764661
SHA512: 4cd863f366a15cd51ffc83b73c572ddafe01f97c06373920afdd248b0e5eba77a9209c5559fd6417a2c8f7f86fb332869715a053da22cb7eb153b150384d01d0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c