Package - libcoq-dpdgraph
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-dpdgraph/libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb (Size: 36.0KiB)| Property | Value |
|---|---|
| Package | libcoq-dpdgraph |
| Source | coq-dpdgraph (1.0+8.20-1) |
| Version | 1.0+8.20-1+b4 |
| Installed-Size | 253 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-dpdgraph-xw875 |
| Depends | libcoq-stdlib-68yx1 |
| Description | Coq plugin to extract dependencies between Coq objects |
| Description-md5 | 273eb3484d0176915de67cd31b22aa16 |
| Homepage | https://github.com/coq-community/coq-dpdgraph |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-dpdgraph/libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb |
| Size | 36852 |
| MD5sum | b8416517eeb3d6b0f30043c51c4c8a9e |
| SHA256 | a37439e9a5d9e3af10ed2ea192cca98187ed665dbc428d60ce5cbdd7c4161f85 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/graphdepend.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/searchdepend.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/dpdgraph/dpdgraph.vo
- /usr/share/doc/libcoq-dpdgraph/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-dpdgraph/changelog.Debian.gz
- /usr/share/doc/libcoq-dpdgraph/changelog.gz
- /usr/share/doc/libcoq-dpdgraph/copyright
- /usr/share/lintian/overrides/libcoq-dpdgraph
- /var/lib/coq/md5sums/libcoq-dpdgraph.checksum