パッケージ: libwhy3-ocaml-dev (1.8.0-2 など)

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

• 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]

類似のパッケージ:

• why3
• libgmp-ocaml-dev
• libeliom-ocaml-dev
• libocamlnet-ocaml-dev
• libansi-terminal-ocaml-dev
• libocsigenserver-ocaml-dev
• libzarith-ocaml-dev
• libctypes-ocaml-dev
• libstdlib-random-ocaml-dev
• libbatteries-ocaml-dev
• libodoc-parser-ocaml-dev

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

• dep: libmenhir-ocaml-dev-cjjw4

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

• dep: libstdlib-ocaml-dev-m4xw9

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

• dep: libzarith-ocaml-dev-h79v1

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

• dep: libzip-ocaml-dev-6r213

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

• dep: ocaml-5.3.0

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

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

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