套件：libwhy3-ocaml-dev（1.6.0-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-jko84 [amd64, arm64, ppc64el]

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

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

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

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

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

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

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

本虛擬套件由這些套件填實： libnum-ocaml-dev
dep: libstdlib-ocaml-dev-058x2 [ppc64el]

本虛擬套件由這些套件填實： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-dkl58 [i386]

本虛擬套件由這些套件填實： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-ep7y0 [amd64]

本虛擬套件由這些套件填實： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-fyga0 [arm64]

本虛擬套件由這些套件填實： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-rayz1 [armhf]

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

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

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

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

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

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

本虛擬套件由這些套件填實： libzip-ocaml-dev
dep: ocaml-4.14.1

本虛擬套件由這些套件填實： ocaml
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.6.0-1+b5	10，773。4 kB	50，071。0 kB	[檔案列表]
arm64	1.6.0-1+b5	11，423。0 kB	53，857。0 kB	[檔案列表]
armel	1.6.0-1+b5	5，739。2 kB	24，674。0 kB	[檔案列表]
armhf	1.6.0-1+b5	10，753。2 kB	41，718。0 kB	[檔案列表]
i386	1.6.0-1+b5	10，436。8 kB	43，151。0 kB	[檔案列表]
mips64el	1.6.0-1+b5	5，740。4 kB	24，674。0 kB	[檔案列表]
ppc64el	1.6.0-1+b5	11，055。7 kB	54，654。0 kB	[檔案列表]
s390x	1.6.0-1+b5	10，552。8 kB	49，254。0 kB	[檔案列表]