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

[ Källkod: why3 ]

Paket: why3-doc-html (1.2.0-1)

Länkar för why3-doc-html

Debianresurser:

Hämta källkodspaketet why3:

Ansvariga:

Externa resurser:

Hemsida [why3.lri.fr]

Liknande paket:

HTML Documentation of the why3 verification platform

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

Andra paket besläktade med why3-doc-html

beror

rekommenderar

föreslår

enhances

dep: tex-common (>= 6)

common infrastructure for building and installing TeX

sug: why3

Software verification platform

Hämta why3-doc-html

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	353,6 kbyte	1.335,0 kbyte	[filförteckning]