Package: libz3-4
Architecture: amd64
Version: 4.8.12-3.1build1
Multi-Arch: same
Priority: extra
Section: universe/libs
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: 15763
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1)
Breaks: libz3-dev (<< 4.4.1)
Replaces: libz3-dev (<< 4.4.1)
Filename: pool/universe/z/z3/libz3-4_4.8.12-3.1build1_amd64.deb
Size: 5836188
MD5sum: fde145c6783603b35d64dfd571f59843
SHA1: 59d514fb3822cab6843c3bc8f4343f26b3b794c3
SHA256: 67ceb432593fe62afbaf3bd85c73d46c66fa19433a6b58326a3248162f139b19
SHA512: 9bf5967ee6c5175eafd499de564bbfd7f0d90c1e80de153af5864dec50f1dd33a9314c4ba339c7f846f63455d0ed690d2f337e75cd257f27b50a009b4abb65a8
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: bb22dda4e1a1c393001bbd9d7a0b56d9