Package: libz3-4
Source: z3
Priority: extra
Section: universe/libs
Installed-Size: 18622
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1build1
Replaces: libz3-dev (<< 4.4.1)
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)
Breaks: libz3-dev (<< 4.4.1)
Filename: pool/universe/z/z3/libz3-4_4.13.3-1build1_amd64.deb
Size: 6887480
MD5sum: 866ab825a970054f20937ef0c6244dc0
SHA1: 77124775a11550282cf057639888bbdfd2eeae73
SHA256: 40390573227a6965210a477554d6c9aa0ab51edcc0daad51db9352a6b9bfdeb4
SHA512: 14e07d2a0b36d1411644ec7b64d69c343532645571ce7f89adbb880b33d389f4ad365198e24e293158a21e746e6c6231b309eeda48408f303656bd4df46dccb1
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: bb22dda4e1a1c393001bbd9d7a0b56d9
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug