This page shows all known information about package coq-doc-pdf.
coq-doc-pdf - documentation for Coq in pdf format
From source: coq-doc
debian/controlCopyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.
Debtags is part of Debian.