Package: coq-doc
Architecture: all
Version: 8.20.0-2
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: 21
Depends: coq-doc-html (>= 8.20.0-2), coq-doc-pdf (>= 8.20.0-2), node-mathjax-full
Filename: pool/multiverse/c/coq-doc/coq-doc_8.20.0-2_all.deb
Size: 4018
MD5sum: 5f7cd9fc0026e7eb8c74466f1dc81730
SHA1: e2024b345ecf4b4b42e42b7fe86fd03c0cafa0e8
SHA256: a8efd08ea037042cd2f0519b2c0dadb923c1c187ce8efeec26b7c5a89ea1c32e
SHA512: ef65d8506a919830a3f3edfd305f43d17bd8ac923f273803e25932d3554852b72807c957da417e37aec7a2f54fbb4f0595a68fff54c52cfa7093cdb16f61d059
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a