Package: coq-doc
Architecture: all
Version: 8.18.0-1
Priority: optional
Section: multiverse/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: 20
Depends: coq-doc-html (>= 8.18.0-1), coq-doc-pdf (>= 8.18.0-1), node-mathjax-full
Filename: pool/multiverse/c/coq-doc/coq-doc_8.18.0-1_all.deb
Size: 4020
MD5sum: 28577d79a1fce4da7657be0ac548bf6b
SHA1: eb05860e577833e874e7cc30f6f4f04cfe0f5a27
SHA256: 7cb13c0a839976ce39443eb97548d4d78b3d784a1abc15fd5a16d0cdbb4c22b1
SHA512: 8f5793a399f66de0287512af38ba4171dfc81b035b22b4a301832bcc96776dc5375466d78b64ddde8c02ee2f7b3e5928efbd7eb37eae2732456fe2043064ebc3
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a