Package: spass Architecture: amd64 Version: 3.7-4 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 3849 Depends: dpkg (>= 1.15.4) | install-info, libc6 (>= 2.14) Filename: pool/universe/s/spass/spass_3.7-4_amd64.deb Size: 1003264 MD5sum: 4a8411fde525b48a34634cb8eace18ea SHA1: 3e632f7a4916dbd79dd62602fac4a26852f2b08c SHA256: b58c9db85481cc7f6ee7751588c072aa2a18187c042307cb0f4889f0e140b132 Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/ Description: automated theorem prover for first-order logic with equality Description-md5: bc89b2923428eac81fa58fc7ea00984e