Package: z3
Priority: extra
Section: universe/science
Installed-Size: 17306
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
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/z3_4.4.0-5_i386.deb
Size: 5631592
MD5sum: 4757e76f98e10203283596759e8e1bf9
SHA1: 41d0fb7173cbbb7448709d5385582ef927e2e9e3
SHA256: 1773fb9ba43afc29a97cf5895f8126abcf2601923a8413bb687589e5fb58529b
Description: theorem prover from Microsoft Research
Homepage: https://github.com/Z3Prover/z3
Description-md5: a6bd00235e73a905421a3205528956bc
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu