Package: coq-doc-pdf
Architecture: all
Version: 8.6-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: 2491
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.6-1_all.deb
Size: 2534360
MD5sum: cffacecccfe03277a5543a87d8a5f071
SHA1: 30c6f7360b653b40cdb89e8553ad512253362d1a
SHA256: 12c9801aa5fc63e4c7fc8f0ac5ca5ffaf09a62aeedbfa36df1da61d9f6f16dc6
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a