Пакет: libapron-ocaml (0.9.10-9 и други)

Връзки за 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.

Етикети: Software Development: OCaml Development, Библиотеки, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, role::program, role::shared-lib, Purpose: Analysing, Checking

Други пакети, свързани с libapron-ocaml

зависимости

препоръчани

предложени

enhances

dep: libapron

runtime libraries for APRON
dep: libc6 (>= 2.14) [amd64]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc1 (>= 1:3.0)

GCC support library
dep: libgmp10

Multiprecision arithmetic library
dep: libmpfr6 (>= 3.1.3)

multiple precision floating-point computation
dep: libstdc++6 (>= 4.1.1)

GNU Standard C++ Library v3
dep: ocaml-base-nox-4.05.0

виртуален пакет, предлаган от ocaml-base-nox

Изтегляне на libapron-ocaml

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.9.10-9+b3	59,9 кБ	339,0 кБ	[списък на файловете]
arm64	0.9.10-9+b3	49,5 кБ	303,0 кБ	[списък на файловете]
armhf	0.9.10-9+b4	49,2 кБ	223,0 кБ	[списък на файловете]
i386	0.9.10-9+b3	64,4 кБ	347,0 кБ	[списък на файловете]