why3-doc-pdf (1.8.2-1)

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	294b6be3…9d38b0bb	294b6be3…9d38b0bb
SHA-1	Not provided	4ca074e5…93b3c330
SHA-256	e7d65330…6811e711	e7d65330…6811e711
SHA-512	Not provided	4aa0d08c…a329dfb8

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