libcoq-dpdgraph (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
arm64
Section
universe/ocaml
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
280 B
Size expected
40 kB
Size actual
40 kB
Size match

Dependencies

Required package dependencies

  • libcoq-stdlib-ey0q7

Suggested packages

Recommended additional packages

  • None

Description

Coq plugin to extract dependencies between Coq objects

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5b7cdd658…462979dc
SHA-152b79f0d…7bc18453
SHA-2567244f4f8…e6a7610a
SHA-5125c5c1ee6…a1ceb85b

Contents

Files and directories included

.
usr
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/ocaml
usr/lib/aarch64-linux-gnu/ocaml/5.4.0
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/dpdgraph
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/dpdgraph/dpdgraph.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/dpdgraph/dpdgraph.glob
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/dpdgraph/dpdgraph.v
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/dpdgraph/dpdgraph.vo
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/dpdgraph.cmxa
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/dpdgraph.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/graphdepend.cmi
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/graphdepend.cmx
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/searchdepend.cmi
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-dpdgraph/searchdepend.cmx
usr/share
usr/share/doc
usr/share/doc/libcoq-dpdgraph
usr/share/doc/libcoq-dpdgraph/changelog.Debian.gz
usr/share/doc/libcoq-dpdgraph/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/libcoq-dpdgraph
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-dpdgraph.checksum