Package - coq-dpdgraph-tools
Package: coq-dpdgraph-tools
apt-get install coq-dpdgraph-tools
apt-get install coq-dpdgraph-tools
Manuals in package:
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.20-1+b4_amd64.deb (Size: 1.1MiB)| Property | Value |
|---|---|
| Package | coq-dpdgraph-tools |
| Source | coq-dpdgraph (1.0+8.20-1) |
| Version | 1.0+8.20-1+b4 |
| Installed-Size | 7909 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Depends | libstdlib-ocaml-m4xw9, ocaml-base-5.3.0 |
| Suggests | graphviz |
| Description | Coq plugin to extract dependencies between Coq objects (tools) |
| Description-md5 | a4c4863a12a026bf8f65552276ec79d6 |
| Homepage | https://github.com/coq-community/coq-dpdgraph |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+8.20-1+b4_amd64.deb |
| Size | 1116848 |
| MD5sum | d236e64c616b11389c1d83f5773d6141 |
| SHA256 | 3a5c82fb5e732a6b79feed2881134765d4ef8ab104edf72fb264e7426c8515c3 |
Files in package
- /usr/bin/dpd2dot
- /usr/bin/dpdusage
- /usr/share/doc/coq-dpdgraph-tools/changelog.Debian.amd64.gz
- /usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
- /usr/share/doc/coq-dpdgraph-tools/changelog.gz
- /usr/share/doc/coq-dpdgraph-tools/copyright
- /usr/share/man/man1/dpd2dot.1.gz
- /usr/share/man/man1/dpdusage.1.gz