Package: coq-doc Version: 8.6-1 Installed-Size: 80 Maintainer: Debian OCaml Maintainers Architecture: all Depends: coq-doc-html (>= 8.6-1), coq-doc-pdf (>= 8.6-1) Description: documentation for Coq Homepage: http://coq.inria.fr/ Description-md5: 8162cc95ca212365bc0155b6cfef283a Tag: devel::doc, made-of::html, role::documentation, role::metapackage Section: non-free/doc Priority: optional Filename: pool/non-free/c/coq-doc/coq-doc_8.6-1_all.deb Size: 63758 MD5sum: 6dc4be592dfa4e4af0484fef809406b4 SHA256: 1f99c276671fafd5d4617d1a53495c97b4f25acfa07add51337579db29a8f011