Installion's Lion Logo

Installion.co.uk

How To Install coq-doc-html On Parrot 3.7

To install coq-doc-html just follow these instructions.

Install coq-doc-html

documentation 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
sudo apt-get install coq-doc-html

Which will install coq-doc-html and any other packages on which it depends.

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

Dependencies

coq-doc-html is not dependent on any other packages.