| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.99.1-1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 9004 Byte |
| Hängt ab von | libatk1.0-0 (>= 1.12.4), libc6 (>= 2.8), libcairo2 (>= 1.2.4), libexpat1 (>= 2.0.1), libfontconfig1 |
| Empfohlene Pakete | graphviz, yelp |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | |
| Paketgröße | 3453380 Byte |
| Prüfsumme MD5 | 0ca34ccbd7697e0698fa681d6df0c813 |
| Prüfsumme SHA1 | 0d1422a6a23923a35ba40d2d66b49949686c2265 |
| Prüfsumme SHA256 | efa628dd39ed22c9370b54d791e36cae3ab307076fe34a4f7e976144bd2abd8c |
| Link zum Herunterladen | matita_0.99.1-1_i386.deb |
| Ausführliche Beschreibung | interface::x11, role::program, uitoolkit::gtk, use::checking,
x11::application
|