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

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: coq-dpdgraph
Architecture: amd64v3
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	70bb8070…d55d0aef	70bb8070…d55d0aef
SHA-1	eb839bc9…a952a8fe	eb839bc9…a952a8fe
SHA-256	9cd7e366…f1f36c60	9cd7e366…f1f36c60
SHA-512	78e50302…e95e2fa5	78e50302…e95e2fa5

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