Bugs for coq-dpdgraph in Ubuntu Oracular

There are currently no open bugs.