套件：libapron-ocaml（0.9.10-9.1 以及其他的）

libapron-ocaml 的相關連結

Debian 的資源：

下載原始碼套件 apron：

維護者：

Debian OCaml Maintainers (QA 頁面, 郵件存檔)

外部的資源：

主頁 [apron.cri.ensmp.fr]

相似套件：

runtime libraries for APRON (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 include only the dynamic libraries needed for running dynamic bytecode executables.

標籤: 軟體開發: OCaml 開發, 函式庫, 測試與品管, 實做語言: implemented-in::c, implemented-in::ocaml, 角色: 開發用函式庫, role::program, role::shared-lib, Purpose: Analysing, Checking

其他與 libapron-ocaml 有關的套件

依賴

推薦

建議

增強

dep: libapron

runtime libraries for APRON
dep: libc6 (>= 2.2)

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libgmp10

Multiprecision arithmetic library
dep: libmpfr6 (>= 3.1.3)

multiple precision floating-point computation
dep: ocaml-base-nox-4.11.1

本虛擬套件由這些套件填實： ocaml-base-nox

下載 libapron-ocaml

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
mips64el	0.9.10-9.1+b2	49。3 kB	331。0 kB	[檔案列表]