Links for coqpackages-dpdgraph