Package: libcoq-dpdgraph
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: 230
Provides: libcoq-dpdgraph-vslt2
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-dpdgraph/libcoq-dpdgraph_1.0+8.18-1build3_amd64.deb
Size: 35118
MD5sum: 6a5d540800c54b82af66b68f9c250330
SHA1: f9f47e56c870ab9b339c6eabc8015bbf2cc63262
SHA256: 70804157ccd8319fd8a40595e0d7e9fa67d84f14cf952ae03002953de4213f34
SHA512: 8e5fe5164341ece70ff5a8823e9ac27bea3887d5f909bf994f89c471052aeb2f93740070bbabb568d63ab34f0aa599fbb32cb2c6e90942c70c10a08ca852c753
Homepage: https://github.com/coq-community/coq-dpdgraph
Description: Coq plugin to extract dependencies between Coq objects
Description-md5: 273eb3484d0176915de67cd31b22aa16