Package - spass
Primary informations
Download package: http://deb.debian.org/debian/pool/main/s/spass/spass_3.9-1.1_amd64.deb (Size: 286.2KiB)| Property | Value |
|---|---|
| Package | spass |
| Version | 3.9-1.1 |
| Installed-Size | 758 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.14) |
| Description | automated theorem prover for first-order logic with equality |
| Description-md5 | bc89b2923428eac81fa58fc7ea00984e |
| Homepage | http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/ |
| Tag | field::mathematics |
| Section | science |
| Priority | optional |
| Filename | pool/main/s/spass/spass_3.9-1.1_amd64.deb |
| Size | 293032 |
| MD5sum | 0990b08c9b029caf6aa61f2a238f522b |
| SHA256 | c3479f5954b4208fe6e70de259864749a6ff13bb329ecf5288c67d644e23d882 |
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