パッケージ: libwhy3-ocaml-dev (1.2.1-6)

libwhy3-ocaml-dev に関するリンク

Trisquel の資源:

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

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

• [why3_1.2.1-6.dsc]
• [why3_1.2.1.orig.tar.gz]
• [why3_1.2.1-6.debian.tar.xz]

メンテナ:

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

Original Maintainers:

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

外部の資源:

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

類似のパッケージ:

• why3-coq
• why3-doc-html
• why3-doc-pdf
• why3
• libgmp-ocaml-dev
• libeliom-ocaml-dev
• libocamlnet-ocaml-dev
• why
• libansi-terminal-ocaml-dev
• libzarith-ocaml-dev
• libocsigenserver-ocaml-dev

その他の libwhy3-ocaml-dev 関連パッケージ

• dep: libc6 (>= 2.4) [armhf]

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

• dep: libmenhir-ocaml-dev-42988 [armhf]

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

• dep: libmenhir-ocaml-dev-5r792 [amd64]

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

• dep: libnum-ocaml-dev-ds475 [armhf]

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

• dep: libnum-ocaml-dev-f5qg6 [amd64]

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

• dep: libzarith-ocaml-dev-gs683 [amd64]

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

• dep: libzarith-ocaml-dev-yjoo0 [armhf]

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

• dep: libzip-ocaml-dev-5ggp2 [armhf]

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

• dep: libzip-ocaml-dev-x6zq1 [amd64]

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

• dep: ocaml-nox-4.08.1

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

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

libwhy3-ocaml-dev のダウンロード