Package: coq-doc
Architecture: all
Version: 8.19.1-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.19.1-2), coq-doc-pdf (>= 8.19.1-2), node-mathjax-full
Filename: pool/multiverse/c/coq-doc/coq-doc_8.19.1-2_all.deb
Size: 4022
MD5sum: 08c8c384354ec88cac4f7505fd2d5d4a
SHA1: 549127ef6a5ca9b484e76083079a636293b62357
SHA256: 12a37f43b6c45ad1b73724426374e49bb1e2e628b8e56bbdca5ec6812eeb1631
SHA512: 10eda639025505f43c65d4e290da76e8d9fc38fb707992cf103f2cd2795c1ef1cd71684b8cd113634da7f03c68c3af79170c24706d4a1c9136d9c90b5e5f0532
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a