Package: coq-doc-html
Architecture: all
Version: 8.19.1-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: 21667
Depends: libjs-sphinxdoc (>= 7.2.2), sphinx-rtd-theme-common (>= 2.0.0+dfsg)
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-html_8.19.1-2_all.deb
Size: 1565862
MD5sum: e11afe610d2428d95bde48b8eed43e9c
SHA1: 7701c66db166339563783e235f35487a53560025
SHA256: 80bca42150f45c8984d5c4b1d58e20326731c4477baeed1e8b31a8c8239d5e43
SHA512: df4bf555e9bfb901047c409d4ccdf02ff2462a0775ec420d69c6d06fa76304309d2f3724d51814d52eefbf91ac0718db3fafe0fc6545d7908413fb36ecdda3ee
Homepage: http://coq.inria.fr/
Description: documentation for Coq in html format
Description-md5: 2a1cea3031ba67430a5917f291c6087a