Package: libz3-4
Architecture: amd64
Version: 4.8.12-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: 15600
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 11)
Breaks: libz3-dev (<< 4.4.1)
Replaces: libz3-dev (<< 4.4.1)
Filename: pool/universe/z/z3/libz3-4_4.8.12-1_amd64.deb
Size: 5766000
MD5sum: 917bc26d436a2d98d3c21d38f227ef2d
SHA1: 191e85ca026ba8d02e946be3ebcc711c0e57679a
SHA256: d83fda4b2e58d9b30f0f85b02a3eb48ca7d33ca88e9d4584249e698bc2e451cf
SHA512: 3987aec6aed5f32cf54f1f41a0235880c1b7105e8e0f25f8e8115769cdd4cd387151c79ebcc0d5818ca33556b4b6e601dd7fa1df761803dfcb53ff91c2c717db
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: 72a1f4bba81e41991158d752c31e8564