Package: spass
Priority: optional
Section: universe/science
Installed-Size: 766
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.9-1.1build1
Depends: libc6 (>= 2.34)
Filename: pool/universe/s/spass/spass_3.9-1.1build1_amd64.deb
Size: 314742
MD5sum: 9542c507939dccb33300fba88a412f94
SHA1: c2bbf709d8bda623eccec776e4032575005813e8
SHA256: 044fc3006720e4ee6f70b42a6161dead82243331837d4dbf85a46d34b57c4e15
SHA512: daa2d7928d25ee13305e0cab314b36af9734351c2152a5bc230d63c3ed44c22c4951de0e4c4ebc33b930dba643b8d3968bc54463e1cec139280d6e66cabe6ccb
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
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug