Списък на файловете в пакета dh-coq в trixie, архитектура 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