Package: coq-doc-html
Architecture: all
Version: 8.16.1-1
Priority: optional
Section: multiverse/doc
Source: coq-doc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20507
Depends: libjs-sphinxdoc (>= 5.2), sphinx-rtd-theme-common (>= 1.1.1+dfsg)
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-html_8.16.1-1_all.deb
Size: 1480428
MD5sum: 7ecbad98d4dda0847536399d850262c9
SHA1: 96316ab3fa695afed28e36808fb0446964f695fe
SHA256: ecf4f9937ca6bb2963e906830b907fa0f35d8dff1b11a6702d8e3f1d255c9691
SHA512: 67d99ed5f63b200402fd109bfbe0b55d6197c23e37338f96bd25e149d4a1e852c418f4d733aeceff6b02e2b3410b15425470eb3d9ef229d5d5820ad3790bddfb
Homepage: http://coq.inria.fr/
Description: documentation for Coq in html format
Description-md5: 2a1cea3031ba67430a5917f291c6087a