Manpages of src:coq-dpdgraph in Debian unstable