package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.5.tgz
sha256=539d49b739a4f173e03a3194453f8367051e808c8e329773648ba1c0a495a07f
Description
Published: 15 Jan 2020
Dependencies (3)
- ocamlgraph
-
coq
>= "8.9" & < "8.10~" -
ocaml
< "4.10.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page