套件： why3-doc-html (1.2.1-6)

why3-doc-html 的相關超連結

Trisquel 的資源：

• Install using apturl
• Entry at directory.fsf.org
• 報告問題
• Changelog
• 版權文件

下載原始碼套件 why3：

• [why3_1.2.1-6.dsc]
• [why3_1.2.1.orig.tar.gz]
• [why3_1.2.1-6.debian.tar.xz]

維護者：

• Debian OCaml Maintainers (郵件存檔)

Original Maintainers:

• Debian OCaml Maintainers (郵件存檔)
• Ralf Treinen

外部的資源：

• 主頁 [why3.lri.fr]

相似套件：

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

其他與 why3-doc-html 有關的套件

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: why3

  Software verification platform

下載 why3-doc-html