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