Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.18-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: 7215
Depends: libstdlib-ocaml-ep7y0, ocaml-base-4.14.1
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.18-1build3_amd64.deb
Size: 1300620
MD5sum: 3749c9ddecea28bf13a4901b7a20f1ad
SHA1: 2f300a5c9e4a5b5d6a760c74f1a429b68ef7d1de
SHA256: 9ee45c522d350b5615dbaf2e232799879cd6076ea03ca6c7fa64481e8ab2a298
SHA512: a4554b99079c7635431a7e99a04f452ebac6dd670f14a7196ec7b114f9013e14dfe4b82ba7ccb256f9a390d20fd4048a1a1d7db28d11874a28516202d5fb86df
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6