Installion's Lion Logo

Installion.co.uk

Install or Uninstall coq-doc-html on jollyroger

coq-doc-htmldocumentation for Coq in html format development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.Parrot 3.7non-free/doc8.6-1

Package Data

Packagecoq-doc-html
Version8.6-1
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://coq.inria.fr/
Descriptiondocumentation for Coq in html format development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
Distroparrot
Releasejollyroger
Reponon-free
Sectionnon-free/doc