Package: z3
Architecture: amd64
Version: 4.13.3-1
Priority: extra
Section: universe/science
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: 18939
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14)
Filename: pool/universe/z/z3/z3_4.13.3-1_amd64.deb
Size: 6953690
MD5sum: 834e4b0ac02c9ded16c29c81a6428e34
SHA1: 519888c18623a5f4f41df02d7f0bdb86e56f7d9c
SHA256: bf75f3003bf5e01d41a6f0afea00e8f268805124d72cd4c0e8ff57ac2cb0dbb0
SHA512: 70a8df177d2f2d9ce20bc1bedf22da60b57294873a45e542a307495a6520945abcac78eef39c6d1e48ae34c4a808aba18aa588e40e7b6ae4099af42693818456
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research
Description-md5: b7964a14a42d323bd19347c2df64d599