| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 0.5.8-3 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 16192 Byte |
| Hängt ab von | libc6 (>= 2.11), libexpat1 (>= 1.95.8), libgdk-pixbuf2.0-0 (>= 2.22.0), libgdome2-0, libglade2-0 (>= |
| Empfohlene Pakete | graphviz, yelp |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 5670770 Byte |
| Prüfsumme MD5 | 18cb9736e32d5f84f390bec132917d94 |
| Prüfsumme SHA1 | 1df913e62e40ba8c9a3a4f6deb9a2875bdf87682 |
| Prüfsumme SHA256 | 92e8420aca53e4903f1ca0e1e9b316a4caf99f5caea4b37966d73d0b5889fa11 |
| Link zum Herunterladen | matita_0.5.8-3_i386.deb |
| Ausführliche Beschreibung | |