Coq-Dpdgraph-Tools

• dpd2dot(1) read a .dpd file and produce a graph file in the .dot format
• dpdusage(1) find unused definitions