Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Priority: optional
Section: universe/ocaml
Installed-Size: 3862
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0+9.1-2build5
Suggests: graphviz
Depends: libc6 (>= 2.44)
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+9.1-2build5_amd64.deb
Size: 729618
SHA512: a83133ff9232c05da5c7eeb983c7fff30faac7ca75484a20e776e64ecd870755dd2083ff251e68c2ca89ed8e5c6d76a1a2a1ee37359e942144db46a0ab8adc15
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug