Package: python3-z3
Source: z3
Priority: optional
Section: universe/python
Installed-Size: 637
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1.1
Depends: libz3-dev (= 4.13.3-1.1), python3:any
Filename: pool/universe/z/z3/python3-z3_4.13.3-1.1_amd64.deb
Size: 84890
SHA512: 93d81097cfc812e9b09a7ef6c9323e8edaa16b306d47d206e0be06a58acab84f61901ecef6c3af9e3347d41164b60c9a1203bf7b72aa7743c4a15856f6dda23f
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug