Package: libz3-4
Architecture: i386
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: 17891
Depends: libc6 (>= 2.4), libgcc1 (>= 1:7), 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_i386.deb
Size: 5710876
MD5sum: 7ada88288306f341d4267af3a3dba3fd
SHA1: 0fa3fc0076e877854dfb7f77105121c9722915f0
SHA256: 10bc2097496d351a56f164c46bfea76629fd3f44c35100adab8ba3343c6749f4
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: 72a1f4bba81e41991158d752c31e8564