Package: coq-doc-pdf
Source: coq-doc
Version: 8.6-1
Installed-Size: 2547
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Replaces: coq-doc (<= 8.0pl1.0-1)
Description: documentation for Coq in pdf format
Homepage: http://coq.inria.fr/
Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a
Tag: devel::doc, made-of::pdf, role::documentation
Section: non-free/doc
Priority: optional
Filename: pool/non-free/c/coq-doc/coq-doc-pdf_8.6-1_all.deb
Size: 2592376
MD5sum: 338d9464cfd5b6725aa11d38bd5df5ae
SHA256: 327be56c7fce4cc98dff30a5cf05a84b9b2698d213eea0bb0e8b2f5e581d4abd