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