套件:libcoq-dpdgraph(1.0+8.17-1 以及其他的) [debports]
Coq plugin to extract dependencies between Coq objects
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 Coq plugin itself.