File list of package coq-dpdgraph-tools in questing of architecture ppc64el

/usr/bin/dpd2dot
/usr/bin/dpdusage
/usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
/usr/share/doc/coq-dpdgraph-tools/copyright
/usr/share/man/man1/dpd2dot.1.gz
/usr/share/man/man1/dpdusage.1.gz