パッケージ: why3-coq (0.88.3-1ubuntu4)

why3-coq に関するリンク

Trisquel の資源:

• Install using apturl
• Entry at directory.fsf.org
• バグ報告
• Changelog
• 著作権ファイル

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

• [why3_0.88.3-1ubuntu4.dsc]
• [why3_0.88.3.orig.tar.gz]
• [why3_0.88.3-1ubuntu4.debian.tar.xz]

メンテナ:

• Ubuntu Developers (メールアーカイブ)

Original Maintainers:

• Debian OCaml Maintainers (メールアーカイブ)
• Ralf Treinen

外部の資源:

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

類似のパッケージ:

• coq
• why3
• why
• why3-examples
• proofgeneral
• libcoq-core-ocaml
• libcoq-ocaml
• libcoq-core-ocaml-dev
• libcoq-ocaml-dev
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev

その他の why3-coq 関連パッケージ

• dep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libcoq-ocaml-6pjp3 [i386]

  以下のパッケージによって提供される仮想パッケージです: libcoq-ocaml

• dep: libcoq-ocaml-ywd98 [amd64]

  以下のパッケージによって提供される仮想パッケージです: libcoq-ocaml

• dep: libzip-ocaml-5t4j6 [amd64]

  以下のパッケージによって提供される仮想パッケージです: libzip-ocaml

• dep: libzip-ocaml-moa44 [i386]

  以下のパッケージによって提供される仮想パッケージです: libzip-ocaml

• dep: ocaml-base-nox-4.05.0

  以下のパッケージによって提供される仮想パッケージです: ocaml-base-nox

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

• rec: why3

  Software verification platform

why3-coq のダウンロード