| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.99.1-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 8998 Byte |
| Hängt ab von | libc6 (>= 2.15), libexpat1 (>= 2.0.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglade2-0 (>= 1:2.6.1), lib |
| Empfohlene Pakete | graphviz, yelp |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 3346584 Byte |
| Prüfsumme MD5 | 097e32759875e347cf8740a1fa821b15 |
| Prüfsumme SHA1 | fdfe6a1f42c2bf998006cac54cae5ce919a4c81f |
| Prüfsumme SHA256 | 46c3966c84332b5aa8984dd7f55085b3289b091d24a3f10769bb250604c10266 |
| Link zum Herunterladen | matita_0.99.1-1_i386.deb |
| Ausführliche Beschreibung | |