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

[ Zdroj: why3 ]

Balík: why3-doc-html (1.2.0-1)

Odkazy pre why3-doc-html

Zdroje Debian:

Stiahnuť zdrojový balík why3:

Správcovia:

Externé zdroje:

Domovská stránka [why3.lri.fr]

Podobné balíky:

HTML Documentation of the why3 verification platform

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

Ostatné balíky súvisiace s balíkom why3-doc-html

závisí

odporúča

navrhuje

vylepšuje

dep: tex-common (>= 6)

spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

sug: why3

Software verification platform

Stiahnuť why3-doc-html

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	353.6 kB	1,335.0 kB	[zoznam súborov]