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: amd64
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	ffd07d5e…04f4d36d	ffd07d5e…04f4d36d
SHA-1	8c71ef08…b40da044	8c71ef08…b40da044
SHA-256	1fc7c81a…8190debd	1fc7c81a…8190debd
SHA-512	4231b545…19839737	4231b545…19839737

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