Virtual Package: libcoq-dpdgraph-c6q11

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing libcoq-dpdgraph-c6q11

libcoq-dpdgraph

Coq plugin to extract dependencies between Coq objects