coq-dpdgraph

Compute dependencies between Coq objects (definitions, theorems) and produce graphs

opam install coq-dpdgraph.0.4
homepage
https://github.com/ybertot/coq-dpdgraph
license
LGPL 2.1
bugs tracker
dependencies
"ocaml" "coq" {>= "8.5" & < "8.6~"} "ocamlgraph"
source
https://github.com/ybertot/coq-dpdgraph/archive/release-for-8.5-0.4-rc1.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-dpdgraph/coq-dpdgraph.0.4