Man pages matching name dpd2dot in section 1:

dpd2dot.1.en

debian 12 / coq-dpdgraph-tools