Pakiet: why3-examples (1.8.0-2)

Odnośniki dla why3-examples

• Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego why3:

• [why3_1.8.0-2.debian.tar.xz]
• [why3_1.8.0-2.dsc]
• [why3_1.8.0.orig.tar.bz2]

Opiekunowie:

• Debian OCaml Maintainers
• Ralf Treinen

Zasoby zewnętrzne:

• Strona internetowa [why3.lri.fr]

Podobne pakiety:

• libwhy3-ocaml-dev
• libz3-4
• sigstore-go
• libz3-dev
• golang-github-sigstore-sigstore-go-dev
• z3
• cvs
• wavesurfer
• astro-tasks
• insighttoolkit5-examples
• spin

Inne pakiety związane z why3-examples

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Pobieranie why3-examples