Artifact coq-dpdgraph-tools_1.0+8.20-1_amd64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libstdlib-ocaml-7l663, ocaml-base-5.2.0
  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.
  Homepage: https://github.com/coq-community/coq-dpdgraph
  Installed-Size: '7726'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: coq-dpdgraph-tools
  Priority: optional
  Section: ocaml
  Source: coq-dpdgraph
  Suggests: graphviz
  Version: 1.0+8.20-1
srcpkg_name: coq-dpdgraph
srcpkg_version: 1.0+8.20-1