Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+8.20-1build8
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 8115
Depends: libstdlib-ocaml-kjuo1, ocaml-base-5.4.0
Suggests: graphviz
Section: ocaml
Priority: optional
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
 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 tools associated to this plugin.
