Installlion's Logo

Installlion.com

Install or Uninstall coq-doc-html on jollyroger

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

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