Package: coq-doc-html
Source: coq-doc
Priority: optional
Section: multiverse/doc
Installed-Size: 24954
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 9.2.0-1
Replaces: coq-doc (<= 8.0pl1.0-1)
Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 9.0), sphinx-rtd-theme-common (>= 3.1.0+dfsg), node-mathjax-full
Filename: pool/multiverse/c/coq-doc/coq-doc-html_9.2.0-1_all.deb
Size: 1767486
SHA512: 00c5c1356669bfaefacd073f49760e4005bafb08b61304f4ce1be78d5ba2c3d50e8dca8695419141b823b8fa452a8c80812a4e6522811d4858662fc7d8bbbcea
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