Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Priority: optional
Section: universe/ocaml
Installed-Size: 8115
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0+8.20-1build8
Suggests: graphviz
Depends: libstdlib-ocaml-kjuo1, ocaml-base-5.4.0
Filename: pool/universe/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.20-1build8_amd64.deb
Size: 1409040
MD5sum: ffd07d5e0a3976dd062ab88e04f4d36d
SHA1: 8c71ef0849b990a17402f27b4be42199b40da044
SHA256: 1fc7c81a5387e821e48d5da4fdfe93ad762e0bc201ff11f8c07ba5248190debd
SHA512: 4231b5455d25f2365022a8dcea5fd5a40039d717f5623fe896c4b62be69d0c2c6eeaa5e13ffec79d0b94c2c1a149e50eed15372d8d4dd87a0e7cb72619839737
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects (tools)
Description-md5: a4c4863a12a026bf8f65552276ec79d6
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug