Pacote: why3-examples (1.8.0-2)

Links para why3-examples

• Rastreador de patch eLxr

Baixe o pacote-fonte why3:

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

Mantenedores(as):

• Debian OCaml Maintainers
• Ralf Treinen

Fontes externas:

• Pagina principal [why3.lri.fr]

Pacotes similares:

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

Outros pacotes relacionados a why3-examples

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Download de why3-examples