Package: libz3-4 Architecture: amd64 Version: 4.4.1-0.3build4 Multi-Arch: same Priority: extra Section: universe/libs Source: z3 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 16478 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libgomp1 (>= 4.9), libstdc++6 (>= 5.2) Breaks: libz3-dev (<< 4.4.1) Replaces: libz3-dev (<< 4.4.1) Filename: pool/universe/z/z3/libz3-4_4.4.1-0.3build4_amd64.deb Size: 5183404 MD5sum: 826e9d260843a552f288ff10b3bc0e0b SHA1: fef675e13699c23b3c0810faa4a01936a17c3f05 SHA256: 325c90c6adb26b977149b95ed144efd0ad2d6f60a6bda54f76a8a03c7593c4d0 Homepage: https://github.com/Z3Prover/z3 Description: theorem prover from Microsoft Research - runtime libraries Description-md5: 72a1f4bba81e41991158d752c31e8564