パッケージ: why3-examples (1.8.0-2)

why3-examples に関するリンク

• eLxr パッチ追跡システム

why3 ソースパッケージをダウンロード:

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

メンテナ:

• Debian OCaml Maintainers
• Ralf Treinen

外部の資源:

• ホームページ [why3.lri.fr]

類似のパッケージ:

• 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 のダウンロード