wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: why3  ]

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

Odnośniki dla why3-doc-pdf

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego why3:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

PDF Documentation of the why3 verification platform

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

Inne pakiety związane z why3-doc-pdf

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie why3-doc-pdf

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 1 032,2 KiB1 096,0 KiB [lista plików]