why3-doc-pdf (1.8.2-3)

Details

Core information at a glance

Distribution
kali
Origin
kali-rolling
Repository
https://http.kali.org/kali
Codename
kali-rolling
Component
main
Source
why3
Architecture
i386
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

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD563688639…db457eb7
SHA-16a24e15a…3df67b43
SHA-256bc708be0…fbbd3569
SHA-512462ffd7b…1360879f

Contents

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