Package: coq-doc-html
Source: coq-doc
Version: 8.6-1
Installed-Size: 5467
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Replaces: coq-doc (<= 8.0pl1.0-1)
Description: documentation for Coq in html format
Homepage: http://coq.inria.fr/
Description-md5: 2a1cea3031ba67430a5917f291c6087a
Tag: devel::doc, made-of::html, role::documentation
Section: non-free/doc
Priority: optional
Filename: pool/non-free/c/coq-doc/coq-doc-html_8.6-1_all.deb
Size: 548554
MD5sum: 9632cc05fa4b726f40d931dd1350d0eb
SHA256: 0ed05f70217fd734d413cf7ae4dc0497ba466353305f46a2c803168485b64ee3