libcoq-dpdgraph-ocaml-dev 1.0+8.15-2 (armhf binary) in ubuntu kinetic

 This package provides a plugin for Coq to extract dependencies
 between Coq objects and produce files with dependency information.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides runtime libraries to develop with
 the dpdgraph plugin.