Artifact coq-doc_8.19.1-2_all

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: all
  Depends: coq-doc-html (>= 8.19.1-2), coq-doc-pdf (>= 8.19.1-2), node-mathjax-full
  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.
  Homepage: http://coq.inria.fr/
  Installed-Size: '21'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: coq-doc
  Priority: optional
  Section: non-free/doc
  Version: 8.19.1-2
srcpkg_name: coq-doc
srcpkg_version: 8.19.1-2