why3-doc-pdf (1.8.2-3build1)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.4 kB
Size expected: 1.4 MB
Size actual: 1.4 MB
Size match

Dependencies

Required package dependencies

tex-common (>= 6.13)

Suggested packages

Recommended additional packages

why3

Description

PDF Documentation of the why3 verification platform

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	a387e320…c7e074cc	a387e320…c7e074cc
SHA-1	7a8efbb8…3abe3983	7a8efbb8…3abe3983
SHA-256	18cf74bd…cb9bc481	18cf74bd…cb9bc481
SHA-512	bd7442ee…41634507	bd7442ee…41634507

Files and directories included

.
usr
usr/share
usr/share/doc
usr/share/doc/why3-doc-pdf
usr/share/doc/why3-doc-pdf/NEWS.Debian.gz
usr/share/doc/why3-doc-pdf/changelog.Debian.gz
usr/share/doc/why3-doc-pdf/copyright
usr/share/doc/why3-doc-pdf/manual.pdf
usr/share/doc-base
usr/share/doc-base/why3-doc-pdf.why3-manual-pdf