Package: coq-doc-pdf
Architecture: all
Version: 8.18.0-1
Priority: optional
Section: multiverse/doc
Source: coq-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: 4633
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.18.0-1_all.deb
Size: 4732100
MD5sum: dcd4bc1cde7f19b24a93caab19079cc2
SHA1: 6263baa00105358571d4053cd0051af2aadb3c4d
SHA256: 91bcc8e85ce05351f7d6545c2739aaa56769a25c084fe9a3eb8f33ab8511cf0c
SHA512: 23080b47f446eef45627fbfccad2338a2bdba11d4808a9061511a359b5c18063fcbc27d4a7b819ec3bc867f991a1745e385e55f97a7595346897361e9bfd9d00
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a