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

libwhy3-ocaml-dev 的相关链接

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

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)

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

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
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	[文件列表]