Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.20-1build3
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-fxjy5, ocaml-base-5.3.0
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.20-1build3_amd64.deb
Size: 1375994
MD5sum: 58ed003a2ca62568f3bfed6f515df896
SHA1: 1d5fd02a714fccf677f8d480dab2f9b5c8306fc7
SHA256: 74bcd4d30d098414419040c31311bb2611a8f56f14e3b6705e2a748d243ea58e
SHA512: 394bfda5b257e2ccd89e8554cd4b4e8ac8a4cf4785cc806778842c8f746d8a226d8607ae7dcf876a9e5e4135a402bd8de075e5698f5b0ecfb97bb14edcddd4eb
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6