Package: coq-doc
Priority: optional
Section: multiverse/doc
Installed-Size: 20
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 9.2.0-1
Depends: coq-doc-html (>= 9.2.0-1), coq-doc-pdf (>= 9.2.0-1), node-mathjax-full
Filename: pool/multiverse/c/coq-doc/coq-doc_9.2.0-1_all.deb
Size: 4020
SHA512: ad2169dfc639fd921824d1dd258ff2b316640f6ca933b2ba6ac403574f3ff665e28d02825cb51cd6421b004c513641903458ba9ade3e3f8be14f6622e446442b
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug