Installlion's Logo

Installlion.com

How To Install coq-doc-html on jollyroger

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.7 non-free/doc 8.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

Package coq-doc-html
Version 8.6-1
Maintainer Debian OCaml Maintainers
Description documentation for Coq in html format development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
Distro parrot
Release jollyroger
Repo non-free
Section non-free/doc

Dependencies