Package - spass

Package:  spass
apt-get install spass
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/spass/spass_3.9-1.1_amd64.deb (Size: 286.2KiB)

PropertyValue
Packagespass
Version3.9-1.1
Installed-Size758
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.14)
Descriptionautomated theorem prover for first-order logic with equality
Description-md5bc89b2923428eac81fa58fc7ea00984e
Homepagehttp://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Tagfield::mathematics
Sectionscience
Priorityoptional
Filenamepool/main/s/spass/spass_3.9-1.1_amd64.deb
Size293032
MD5sum0990b08c9b029caf6aa61f2a238f522b
SHA256c3479f5954b4208fe6e70de259864749a6ff13bb329ecf5288c67d644e23d882

Files in package

  • /usr/bin/FLOTTER
  • /usr/bin/SPASS
  • /usr/share/doc/spass/changelog.Debian.gz
  • /usr/share/doc/spass/copyright
  • /usr/share/lintian/overrides/spass