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: s390x
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-l59h8
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	bf28802b…329888cf	bf28802b…329888cf
SHA-1	2f752af3…9bbdde89	2f752af3…9bbdde89
SHA-256	d3fb44a4…e60dc1d8	d3fb44a4…e60dc1d8
SHA-512	8cb6658e…d7f8c3d8	8cb6658e…d7f8c3d8

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