软件包：libwhy3-ocaml-dev（1.7.2-2 以及其他的）

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: libmenhir-ocaml-dev-7ewm9 [amd64, arm64, ppc64el, riscv64]

本虚包由这些包填实： libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-payc7 [s390x]

本虚包由这些包填实： libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-rs3l5 [armel, armhf, i386, mips64el]

本虚包由这些包填实： libmenhir-ocaml-dev
dep: libnum-ocaml-dev-ru7b2 [amd64, arm64, ppc64el, riscv64]

本虚包由这些包填实： libnum-ocaml-dev
dep: libnum-ocaml-dev-sgyz6 [s390x]

本虚包由这些包填实： libnum-ocaml-dev
dep: libnum-ocaml-dev-wtyx6 [armel, armhf, i386, mips64el]

本虚包由这些包填实： libnum-ocaml-dev
dep: libstdlib-ocaml-dev-0d647 [arm64]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-2a614 [ppc64el]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-7l663 [amd64]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1 [armel, armhf, i386, mips64el]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-r1af2 [s390x]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-vvst5 [riscv64]

本虚包由这些包填实： libstdlib-ocaml-dev
dep: libzip-ocaml-dev-33ac4 [s390x]

本虚包由这些包填实： libzip-ocaml-dev
dep: libzip-ocaml-dev-4nfl0 [amd64, arm64, ppc64el, riscv64]

本虚包由这些包填实： libzip-ocaml-dev
dep: libzip-ocaml-dev-sqvl5 [armel, armhf, i386, mips64el]

本虚包由这些包填实： libzip-ocaml-dev
dep: ocaml-5.2.0

本虚包由这些包填实： ocaml
dep: tex-common (>= 6.13)

用于构建和安装 TeX 的通用基础架构

sug: ocaml-findlib

management tool for OCaml libraries

下载 libwhy3-ocaml-dev

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
amd64	1.7.2-2+b1	12,293.2 kB	38,389.0 kB	[文件列表]
arm64	1.7.2-2+b1	12,898.4 kB	42,461.0 kB	[文件列表]
armel	1.7.2-2+b1	7,179.0 kB	10,464.0 kB	[文件列表]
armhf	1.7.2-2+b1	7,178.7 kB	10,464.0 kB	[文件列表]
i386	1.7.2-2+b1	7,179.0 kB	10,464.0 kB	[文件列表]
mips64el	1.7.2-2+b1	7,179.6 kB	10,465.0 kB	[文件列表]
ppc64el	1.7.2-2+b1	12,484.0 kB	43,026.0 kB	[文件列表]
riscv64	1.7.2-2+b1	13,696.3 kB	65,942.0 kB	[文件列表]
s390x	1.7.2-2+b1	12,008.9 kB	38,943.0 kB	[文件列表]