Package: coq-doc-html
Architecture: all
Version: 8.20.0-2
Priority: optional
Section: multiverse/doc
Source: coq-doc
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22282
Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 8.1), sphinx-rtd-theme-common (>= 3.0.2+dfsg)
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-html_8.20.0-2_all.deb
Size: 1606488
MD5sum: b40a20e8b7971e241a31507584c2dc52
SHA1: 18942bb91fd0431a37cb1fcb71cac1af6fc382ca
SHA256: 1ce385a6c1fbee7649cbc5e8a78fe42456e215952120b33c7f635eedd46eda39
SHA512: f63232b580fa86bcc26d57dc59871e8bddc728a7c5dd2160e1bf032ec5f031a018cdf864f178d1d128a8466ba30a061118d1a9b339669b862184b80ef196acc3
Homepage: http://coq.inria.fr/
Description: documentation for Coq in html format
Description-md5: 2a1cea3031ba67430a5917f291c6087a