Пакунок: why3-examples (1.8.0-2)

Links for why3-examples

• eLxr Patch Tracker

Download Source Package why3:

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

Maintainers:

• Debian OCaml Maintainers
• Ralf Treinen

External Resources:

• Homepage [why3.lri.fr]

Similar packages:

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

Інші пакунки пов'язані з why3-examples

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Завантажити why3-examples