coq-doc (8.20.0-2build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: multiverse
Source: none
Architecture: amd64
Section: multiverse/doc
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 21 B
Size expected: 4 kB
Size actual: 4 kB
Size match

Dependencies

Required package dependencies

coq-doc-html (>= 8.20.0-2build1)
coq-doc-pdf (>= 8.20.0-2build1)
node-mathjax-full

Suggested packages

Recommended additional packages

None

Description

documentation for Coq

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	3dc4806a…ddd70a10	3dc4806a…ddd70a10
SHA-1	12139243…aef835e9	12139243…aef835e9
SHA-256	c8eb3e01…5486f8fe	c8eb3e01…5486f8fe
SHA-512	3e8b6fb6…749be3fd	3e8b6fb6…749be3fd

Files and directories included

.
usr
usr/share
usr/share/doc
usr/share/doc/coq
usr/share/doc/coq-doc
usr/share/doc/coq-doc/copyright
usr/share/doc/coq/html
usr/share/doc/coq/pdf
usr/share/doc/coq-doc/changelog.Debian.gz
usr/share/doc/coq-doc/html
usr/share/doc/coq-doc/pdf