| Paketname | spass |
| Beschreibung | An automated theorem prover for first-order logic with equality |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 3.7-3 |
| Sektion | universe/science |
| Priorität | optional |
| Installierte Größe | 4083 Byte |
| Hängt ab von | dpkg (>= 1.15.4) | install-info, libc6 (>= 2.4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 2136576 Byte |
| Prüfsumme MD5 | f7519caadee517b2e88bc2094fd51cad |
| Prüfsumme SHA1 | eda59bccb3547d35c026d073f297899cf90a358f |
| Prüfsumme SHA256 | 8d70b851dc74517d1dcea68a2685aff96482fdc2d46cc8c4ce581aa33b5a9259 |
| Link zum Herunterladen | spass_3.7-3_i386.deb |
| Ausführliche Beschreibung | |