Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.17-1build1
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: 6762
Depends: ocaml-base-4.13.1
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.17-1build1_amd64.deb
Size: 1197854
MD5sum: ba336ca9a355d7246aed9ce694b3bbef
SHA1: 6a636810f7601340be42fececf8371bc88aac217
SHA256: 8c244f3f998414ad527f47ecc73f15060fa0379a8cd86b9f863fd42c43b8c280
SHA512: 302de72fd423b6f29a81ae4be0c68f2e96a098ec7a5c4bfb8408df69e2512c95580cf1d040efea191820c0710a03f782c3b15e4aa4bd4382c306fe87c84a3f5e
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6