package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
release-for-8.5-0.4-rc1.zip
md5=fe9f172750906b2acfea71661e408906
Description
Dependencies (3)
- ocamlgraph
-
coq
>= "8.5" & < "8.6~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page