套件：libwhy3-ocaml-dev（1.3.3-1 以及其他的）

libwhy3-ocaml-dev 的相關連結

Debian 的資源：

下載原始碼套件 why3：

維護小組：

外部的資源：

主頁 [why3.lri.fr]

相似套件：

OCaml librariries for why3 (dev)

This package contains the libraries of the why3 verification platform for developing applications using why3.

其他與 libwhy3-ocaml-dev 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.4) [armhf]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libmenhir-ocaml-dev-ab2z0 [armel, mips64el, mipsel]

本虛擬套件由這些套件填實： libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-dqkt5 [armhf, i386]

本虛擬套件由這些套件填實： libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-gl1q4 [amd64, arm64, ppc64el]

本虛擬套件由這些套件填實： libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-kbw37 [s390x]

本虛擬套件由這些套件填實： libmenhir-ocaml-dev
dep: libnum-ocaml-dev-3st20 [armel, mips64el, mipsel]

本虛擬套件由這些套件填實： libnum-ocaml-dev
dep: libnum-ocaml-dev-80ki3 [amd64, arm64, ppc64el]

本虛擬套件由這些套件填實： libnum-ocaml-dev
dep: libnum-ocaml-dev-hcwe8 [s390x]

本虛擬套件由這些套件填實： libnum-ocaml-dev
dep: libnum-ocaml-dev-hqq52 [armhf, i386]

本虛擬套件由這些套件填實： libnum-ocaml-dev
dep: libzip-ocaml-dev-di399 [armhf, i386]

本虛擬套件由這些套件填實： libzip-ocaml-dev
dep: libzip-ocaml-dev-kb663 [armel, mips64el, mipsel]

本虛擬套件由這些套件填實： libzip-ocaml-dev
dep: libzip-ocaml-dev-l8p50 [amd64, arm64, ppc64el]

本虛擬套件由這些套件填實： libzip-ocaml-dev
dep: libzip-ocaml-dev-vlgu0 [s390x]

本虛擬套件由這些套件填實： libzip-ocaml-dev
dep: ocaml-nox-4.11.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

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	1.3.3-1+b4	9，399。3 kB	44，442。0 kB	[檔案列表]
arm64	1.3.3-1+b4	9，830。4 kB	47，725。0 kB	[檔案列表]
armel	1.3.3-1+b4	5，269。4 kB	22，083。0 kB	[檔案列表]
armhf	1.3.3-1+b4	9，380。5 kB	37，715。0 kB	[檔案列表]
i386	1.3.3-1+b4	9，081。7 kB	39，045。0 kB	[檔案列表]
mips64el	1.3.3-1+b4	5，269。4 kB	22，083。0 kB	[檔案列表]
mipsel	1.3.3-1+b4	5，269。7 kB	22，083。0 kB	[檔案列表]
ppc64el	1.3.3-1+b4	9，654。2 kB	48，324。0 kB	[檔案列表]
s390x	1.3.3-1+b4	9，343。7 kB	45，220。0 kB	[檔案列表]