Liste des fichiers du paquet coq-doc dans trixie pour l'architecture all
/usr/share/doc/coq-doc/changelog.Debian.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