Package: spass Priority: optional Section: universe/science Installed-Size: 4208 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Roland Stigge <stigge@antcom.de> Architecture: amd64 Version: 3.7-3 Depends: dpkg (>= 1.15.4) | install-info, libc6 (>= 2.4) Filename: pool/universe/s/spass/spass_3.7-3_amd64.deb Size: 2269166 MD5sum: 84ca85821ccca6ab1728ab446a6080a5 SHA1: 1b9687e23258a74fa8cfefd62801bd09cc36c5cf SHA256: cd551a6820424362b7676e02e63fb871b816df6c244d684fc237533abf6c20ce Description: An automated theorem prover for first-order logic with equality Description-md5: 5a54786837fdd22d183839c3d7aa212a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu