why3-doc-pdf (1.8.2-3)

Details

Core information at a glance

Distribution: debian
Origin: debian-forky
Repository: https://deb.debian.org/debian
Codename: forky
Component: main
Source: why3
Architecture: s390x
Section: math
Priority: optional
Maintainer: Debian OCaml Maintainers <[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	63688639…db457eb7	63688639…db457eb7
SHA-1	Not provided	6a24e15a…3df67b43
SHA-256	bc708be0…fbbd3569	bc708be0…fbbd3569
SHA-512	Not provided	462ffd7b…1360879f

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/changelog.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