Package: coq-doc
Architecture: all
Version: 8.15.0-3
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: 22
Depends: coq-doc-html (>= 8.15.0-3), coq-doc-pdf (>= 8.15.0-3)
Filename: pool/multiverse/c/coq-doc/coq-doc_8.15.0-3_all.deb
Size: 4012
MD5sum: 304262619bf3f1e8445208f56b3ae6c6
SHA1: e1638c65e78fc71d8ea513cd56ff126536c9144c
SHA256: a670ee5fee7bc1170c5567f2cbc998353d47913986aa51c583597b703ca08c39
SHA512: 293d691bd87fc0301f613e385b50fcb681c01ab1c3ca65a553c9d0c95c62f4699ec1762b78f39691fb4dd140a46f335bfd29eba89f0ea740294b4080e4dda8c7
Homepage: http://coq.inria.fr/
Description: documentation for Coq
Description-md5: 8162cc95ca212365bc0155b6cfef283a