Package: libz3-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 17785
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: z3
Version: 4.4.0-5
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.2), libgomp1 (>= 4.9), libstdc++6 (>= 5.2)
Filename: pool/universe/z/z3/libz3-dev_4.4.0-5_i386.deb
Size: 5676182
MD5sum: 79323aedc7a471e2510dff788c580c5c
SHA1: 71746dfe4f3ec82997815a57a668dbddc3c554e8
SHA256: eeaa947ce2ebbb2149f3a77a6eaac441b65789c7f1f05094682d95d4e088ef4f
Description: theorem prover from Microsoft Research - development files
Multi-Arch: same
Homepage: https://github.com/Z3Prover/z3
Description-md5: dc81d51d606e62b66bd716ab76d0526a
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu