Pakiet: why3-doc-html (0.88.3-1ubuntu4)

Odnośniki dla why3-doc-html

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego why3:

• [why3_0.88.3-1ubuntu4.dsc]
• [why3_0.88.3.orig.tar.gz]
• [why3_0.88.3-1ubuntu4.debian.tar.xz]

Opiekun:

• Ubuntu Developers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Ralf Treinen

Zasoby zewnętrzne:

• Strona internetowa [why3.lri.fr]

Podobne pakiety:

• why3-examples
• why3-coq
• libwhy3-ocaml-dev
• python-sqlalchemy-doc
• shishi-doc
• gnustep-base-doc
• why3
• funnelweb-doc
• gnucash-docs
• libeliom-ocaml-doc
• libusb-1.0-doc

Inne pakiety związane z why3-doc-html

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• sug: why3

  Software verification platform

Pobieranie why3-doc-html