| Paketname | matita-doc |
| Beschreibung | user manual of the Matita interactive theorem prover |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.5.8-2build2 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 2100 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | matita |
| Paketgröße | 1229346 Byte |
| Prüfsumme MD5 | dc9587eb099c689fd299fee412d12446 |
| Prüfsumme SHA1 | 69229fdb79c9b95c00aff4f861915c68adab512b |
| Prüfsumme SHA256 | 2d4d2d7a2f39b801e48f3555c8e450c638c0f873e4cfb3d4e9c93f03d218b0f7 |
| Link zum Herunterladen | matita-doc_0.5.8-2build2_all.deb |
| Ausführliche Beschreibung | This package contains the PDF and HTML formatted Matita user manual.
|