debhelper/dh_coq usr/bin
debhelper/coq.pm usr/share/perl5/Debian/Debhelper/Sequence
