Package: coq-dpdgraph-tools
Architecture: amd64
Version: 1.0+8.19-2build3
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: 7724
Depends: libstdlib-ocaml-u9ol3, ocaml-base-5.2.0
Suggests: graphviz
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.19-2build3_amd64.deb
Size: 1358566
MD5sum: 468b53329818c97cb67f64adcf328d0d
SHA1: 4059e3dee8718826b84e9c042d5ac3ae1568253b
SHA256: 70146c177e9796ed09e7f1641deeb69dd5d3199628eecb185e072db975f779fc
SHA512: d75b1b28953bf8cc00a1cdfcd132eed26e21562e4c8ee3a4724735dd03f5b9171881c9df61151d85a75466e08ac2c33c39c8f978279af2ad2becfd0ecd155bfe
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6