Package: z3
Architecture: i386
Version: 4.4.1-0.3build4
Priority: extra
Section: universe/science
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: 17947
Depends: libc6 (>= 2.4), libgcc1 (>= 1:7), libgomp1 (>= 4.9), libstdc++6 (>= 5.2)
Filename: pool/universe/z/z3/z3_4.4.1-0.3build4_i386.deb
Size: 5735040
MD5sum: f9f6e44fc47af3295fce3e3bf9a1d927
SHA1: b71ab675c064e8bbc6575dbd7a13684b96354df8
SHA256: cb904a361e8f5ec968e12fa525a8adcd269b9b1e8237650cf93ea82e72421f45
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research
Description-md5: a6bd00235e73a905421a3205528956bc