Filförteckning för paketet dh-coq i trixie för arkitekturen 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