Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.20-1build4
Priority: optional
Section: universe/ocaml
Source: coq-dpdgraph
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7906
Depends: libstdlib-ocaml-m4xw9, ocaml-base-5.3.0
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.20-1build4_amd64.deb
Size: 1374898
MD5sum: 5f026061fbed7bed2b4fc7eb794dd9de
SHA1: 21243b89408dd946778c404d641db43365c7b5dc
SHA256: 66692bcff97fb8252261daca54b3260a17c40eb9da548d40eb31b555e9efa6c2
SHA512: a95e2bf3190a09373881b766b0f58c205ade958e254fc2aa642a881e2b3b1479b2ef907f097317a13d64b42a60900a03c30250b703492b4e2e6faeb45c575013
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6