Package: libz3-4
Architecture: amd64
Version: 4.13.3-1
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: 18618
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14)
Breaks: libz3-dev (<< 4.4.1)
Replaces: libz3-dev (<< 4.4.1)
Filename: pool/universe/z/z3/libz3-4_4.13.3-1_amd64.deb
Size: 6868600
MD5sum: 02d61a96bb4af53b3f45b1bbaf829bca
SHA1: 6b36fe62835206f9d2e063c218fee51bd1236637
SHA256: e8f19409ad34e096a11463117173647251f5628d6ed4fd91e54618aa24d184a6
SHA512: e78777466a83a9de5c4739dfd75dd1418bb627cb053f32b8907331380a6b101b903260068ec2d0eafb3cdf6a774405c7f2865985f92c710c7bfe933575f57f6b
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: bb22dda4e1a1c393001bbd9d7a0b56d9