coq-dpdgraph-tools 1.0+8.18-1build3 (armhf binary) in ubuntu oracular

 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 the tools associated to this plugin.