Quellcode-Paket: spass (3.7-3)
Links für spass
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen (PTS)
- Debian-Changelog
- Copyright-Datei
- Debian Patch-Nachverfolger
Betreuer:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- spass
- An automated theorem prover for first-order logic with equality
Andere Pakete mit Bezug zu spass
|
|
-
- adep: debhelper (>= 7)
- Hilfsprogramme für debian/rules
Download spass
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| spass_3.7-3.dsc | 0,9 kB | b0252fcdfa058ce061e063efce1a4280 |
| spass_3.7.orig.tar.gz | 1.309,5 kB | 6505f4f3ad91cc289d9dd73889ebb304 |
| spass_3.7-3.debian.tar.gz | 3,4 kB | 8f606e0965763e8e8dc4e83e9d020464 |