Package: coq-doc
Priority: optional
Section: multiverse/doc
Installed-Size: 23
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Version: 8.4pl4-2
Depends: coq-doc-html (>= 8.4pl4-2), coq-doc-pdf (>= 8.4pl4-2)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.4pl4-2_all.deb
Size: 4402
MD5sum: ce6e42ce22ed1fe08342df65f51c008d
SHA1: 7abb1469cb4be87bfd4c186a964f161a85255a98
SHA256: f51e13641fdf70639c585d05caaa729d196b8378e2552324aab69d6e5c8ec1f9
Description: documentation for Coq
Homepage: http://coq.inria.fr/
Description-md5: 8162cc95ca212365bc0155b6cfef283a
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu