Liste der Dateien in Paket dh-coq in trixie für Architektur all

/usr/bin/dh_coq
/usr/share/doc/dh-coq/changelog.gz
/usr/share/doc/dh-coq/copyright
/usr/share/man/man1/dh_coq.1.gz
/usr/share/perl5/Debian/Debhelper/Sequence/coq.pm