| Paketname | matita-doc |
| Beschreibung | user manual of the Matita interactive theorem prover |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.5.8-2 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 2552 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | matita |
| Paketgröße | 1670576 Byte |
| Prüfsumme MD5 | 55469e9f94760196eba1cde269be2979 |
| Prüfsumme SHA1 | 3f032186bf13c0eac61cd85efbdbe2a6e5736f60 |
| Prüfsumme SHA256 | 7bd229efec5455bdae4d9bc4fe42515083508cbac372fa03fe17ce58e74e26ae |
| Link zum Herunterladen | matita-doc_0.5.8-2_all.deb |
| Ausführliche Beschreibung | This package contains the PDF and HTML formatted Matita user manual.
|