Package: coq-doc-pdf
Architecture: all
Version: 8.15.0-3
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: 3981
Replaces: coq-doc (<= 8.0pl1.0-1)
Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.15.0-3_all.deb
Size: 4062240
MD5sum: 9b6ba18a0b81ecec281a03cda04d8f97
SHA1: 77d96ba60b65baddaa2db96e7614943850892523
SHA256: 591682dfa6472b1de34931e7705b462dc11f5d7524a8bd91ea66629e5ebf43f7
SHA512: bde4b2412f5954b03389365c19eb20f9d322dba376c1184293a441d4cb48c6e55048b7c4d155aaf4fb3def1fab1dd5bc897bc30a4ace9cc13b0378072d7ec351
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a