DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamecoq-doc-pdf
Beschreibungdocumentation for Coq in pdf format
Archiv/RepositoryOffizielles Debian Archiv squeeze (non-free)
Version8.2pl1-1
Sektionnon-free/doc
Prioritätoptional
Installierte Größe2408 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quellecoq-doc
Paketgröße2386650 Byte
Prüfsumme MD5d1fa53219be5d3bc0828aa661074f58c
Prüfsumme SHA1e4d741e407643fff20e0a0f1e71a22cada803790
Prüfsumme SHA2565f0fa52bf4cba2ad42568278ab961c0d10d7ba162f265b1bf817823cb116d2e6
Link zum Herunterladencoq-doc-pdf_8.2pl1-1_all.deb
Ausführliche BeschreibungCoq 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 package contains its documentation and tutorials in pdf format.


Impressum
Linux is a registered trademark of Linus Torvalds