Liste der Dateien in Paket coq-doc in lucid für Architektur all
/usr/share/doc/coq-doc/changelog.Debian.gz /usr/share/doc/coq-doc/changelog.gz /usr/share/doc/coq-doc/copyright /usr/share/doc/coq-doc/html /usr/share/doc/coq-doc/pdf /usr/share/doc/coq/html /usr/share/doc/coq/pdf