Pakket: why3-doc-pdf (1.2.1-6)

Verwijzigingen voor why3-doc-pdf

Trisquel bronnen:

• Install using apturl
• Entry at directory.fsf.org
• Probleemrapporten
• Changelog
• Copyright-bestand

Het bronpakket why3 downloaden:

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

Beheerder:

• Debian OCaml Maintainers (Mailarchief)

Original Maintainers:

• Debian OCaml Maintainers (Mailarchief)
• Ralf Treinen

Externe bronnen:

• Homepage [why3.lri.fr]

Vergelijkbare pakketten:

• 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

Andere aan why3-doc-pdf gerelateerde pakketten

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: why3

  Software verification platform

why3-doc-pdf downloaden