Package: coq-doc
Version: 8.20.0-2build2
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 20
Depends: coq-doc-html (>= 8.20.0-2build2), coq-doc-pdf (>= 8.20.0-2build2), node-mathjax-full
Section: non-free/doc
Priority: optional
Homepage: http://coq.inria.fr/
Description: documentation for Coq
 Coq 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 is a dummy package which will install the documentation in html and
 pdf formats.
