软件包: why3-doc-pdf (0.88.3-1ubuntu4)

why3-doc-pdf 的相关链接

Trisquel 的资源:

• Install using apturl
• Entry at directory.fsf.org
• 报告问题
• Changelog
• 版权文件

下载源码包 why3:

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

维护者:

• Ubuntu Developers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Ralf Treinen

外部的资源:

• 主页 [why3.lri.fr]

相似软件包:

• why3-examples
• why3-coq
• libwhy3-ocaml-dev
• shishi-doc
• gnustep-base-doc
• gnucash-docs
• gss-doc
• why3
• ada-reference-manual-2005
• ada-reference-manual-2012
• libigraph-doc

其他与 why3-doc-pdf 有关的软件包

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• sug: why3

  Software verification platform

下载 why3-doc-pdf