coq-dpdgraph-tools (1.0+8.20-1build8)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: coq-dpdgraph
Architecture: ppc64el
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 8.1 kB
Size expected: 1.4 MB
Size actual: 1.4 MB
Size match

Dependencies

Required package dependencies

libstdlib-ocaml-kjuo1
ocaml-base-5.4.0

Suggested packages

Recommended additional packages

graphviz

Description

Coq plugin to extract dependencies between Coq objects (tools)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	667da0ae…26da1515	667da0ae…26da1515
SHA-1	9c5a76c3…8a240218	9c5a76c3…8a240218
SHA-256	16d893c6…34123ae2	16d893c6…34123ae2
SHA-512	0d71a6cb…bc194b5b	0d71a6cb…bc194b5b

Files and directories included

.
usr
usr/bin
usr/bin/dpd2dot
usr/bin/dpdusage
usr/share
usr/share/doc
usr/share/doc/coq-dpdgraph-tools
usr/share/doc/coq-dpdgraph-tools/changelog.Debian.gz
usr/share/doc/coq-dpdgraph-tools/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/dpd2dot.1.gz
usr/share/man/man1/dpdusage.1.gz