Package: coq-doc-pdf
Architecture: all
Version: 8.20.0-2
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: 4955
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.20.0-2_all.deb
Size: 5061146
MD5sum: b9c7f8f65634a280adcbaf44f380e252
SHA1: b607dde6cf1fd78657b71c2096fb2274266b0afb
SHA256: a54017f432483b8f004c813edebbf107178a36dc1132fc10cad6f5ffc7f2cc5e
SHA512: b4638acb365db0ad470924f1fa360d3a2b0ac4e4c28c7da270cf80a00dcd2d228e85031bb63f6a3fe718eea7a315a6a202076d5c2c9862092e4d90a1de8e95da
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a