软件包：libapron-ocaml-dev（0.9.10-9.1 以及其他的）

libapron-ocaml-dev 的相关链接

Debian 的资源：

下载源码包 apron：

维护者：

Debian OCaml Maintainers (QA 页面, 邮件存档)

外部的资源：

主页 [apron.cri.ensmp.fr]

相似软件包：

abstract interpretation library (OCaml interface)

The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.

This package contains the files necessary to use the APRON library in OCaml.

标签: 软件开发: OCaml 开发, 函数库, 测试与品管, 实做语言: implemented-in::c, implemented-in::ocaml, 角色: 开发用函数库, 程序, Purpose: use::analysing, use::checking

其他与 libapron-ocaml-dev 有关的软件包

依赖

推荐

建议

增强

dep: libapron-dev

abstract interpretation library
dep: libapron-ocaml-0ooh1 [s390x]

本虚包由这些包填实： libapron-ocaml
dep: libapron-ocaml-8p542 [armel, mips64el, mipsel]

本虚包由这些包填实： libapron-ocaml
dep: libapron-ocaml-do077 [armhf, i386]

本虚包由这些包填实： libapron-ocaml
dep: libapron-ocaml-f72a2 [amd64, arm64, ppc64el]

本虚包由这些包填实： libapron-ocaml
dep: ocaml-nox-4.11.1

本虚包由这些包填实： ocaml-nox

下载 libapron-ocaml-dev

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
amd64	0.9.10-9.1+b2	1,304.7 kB	14,581.0 kB	[文件列表]
arm64	0.9.10-9.1+b2	1,236.7 kB	14,476.0 kB	[文件列表]
armel	0.9.10-9.1+b2	1,149.7 kB	11,694.0 kB	[文件列表]
armhf	0.9.10-9.1+b2	1,263.2 kB	10,542.0 kB	[文件列表]
i386	0.9.10-9.1+b2	1,515.5 kB	13,516.0 kB	[文件列表]
mips64el	0.9.10-9.1+b2	1,329.6 kB	20,889.0 kB	[文件列表]
mipsel	0.9.10-9.1+b2	1,429.0 kB	15,977.0 kB	[文件列表]
ppc64el	0.9.10-9.1+b2	1,397.8 kB	18,345.0 kB	[文件列表]
s390x	0.9.10-9.1+b2	1,227.8 kB	15,676.0 kB	[文件列表]