| Paketname | coq-doc |
| Beschreibung | documentation for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (multiverse) |
| Version | 8.2pl1-1 |
| Sektion | multiverse/doc |
| Priorität | optional |
| Installierte Größe | 76 Byte |
| Hängt ab von | coq-doc-html, coq-doc-pdf |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 37420 Byte |
| Prüfsumme MD5 | 5932d06667a46b8ddffc62e701939e17 |
| Prüfsumme SHA1 | 944de54f9f1a192b8e45d52c850c3d87909515c9 |
| Prüfsumme SHA256 | 29d590a9890c3f8b2d7d03e1c52a397c4b00dff5fbb4623e7e25c80b2d174cd2 |
| Link zum Herunterladen | coq-doc_8.2pl1-1_all.deb |
| Ausführliche Beschreibung | Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This is a dummy package which will install the documentation in html and
pdf formats.
|