coq-dpdgraph

Compute dependencies between Coq objects (definitions, theorems)

opam install coq-dpdgraph.0.6.8
homepage
https://github.com/karmaki/coq-dpdgraph
license
LGPL-2.1-only
bugs tracker
https://github.com/karmaki/coq-dpdgraph/issues
dependencies
"ocaml" "coq" {>= "8.12" & < "8.13~"} "ocamlgraph"
source
https://github.com/Karmaki/coq-dpdgraph/releases/download/v0.6.8/coq-dpdgraph-0.6.8.tgz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-dpdgraph/coq-dpdgraph.0.6.8