[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Källkod: why3 ]

Paket: why3-doc-pdf (1.3.3-1)

Länkar för why3-doc-pdf

Debianresurser:

Hämta källkodspaketet why3:

Ansvariga:

Externa resurser:

Hemsida [why3.lri.fr]

Liknande paket:

PDF Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in PDF format.

Andra paket besläktade med why3-doc-pdf

beror

rekommenderar

föreslår

enhances

dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

sug: why3

Software verification platform

Hämta why3-doc-pdf

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	1.032,2 kbyte	1.096,0 kbyte	[filförteckning]