| Paketname | coq-doc |
| Beschreibung | documentation for Coq |
| Archiv/Repository | Offizielles Debian Archiv squeeze (non-free) |
| Version | 8.2pl1-1 |
| Sektion | non-free/doc |
| Priorität | optional |
| Installierte Größe | 76 Byte |
| Hängt ab von | coq-doc-html, coq-doc-pdf |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | |
| Paketgröße | 37368 Byte |
| Prüfsumme MD5 | 3aff33d35ab85b43a502c840be2e0c3e |
| Prüfsumme SHA1 | 4cd6be60a028055bd7bcf15dfa059964759bf421 |
| Prüfsumme SHA256 | e77ba902f23e5e69d6f14b9bbd3ba1708556c152d5665ef012829f6ca2e2a66a |
| 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.
|