| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.5.8-3build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15742 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 | 5812404 Byte |
| Prüfsumme MD5 | fe5bdd66993a81be500c06e06183a222 |
| Prüfsumme SHA1 | 7e7939ab79ec305f87e0af0a2c2690c7fda39dc5 |
| Prüfsumme SHA256 | bb548317c5d7ebd71a653f2877e9f99addd9e42cca81cef5a44d647b1821c22f |
| Link zum Herunterladen | matita_0.5.8-3build1_i386.deb |
| Ausführliche Beschreibung | |