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

Връзки за libapron

Ресурси за Debian:

Изтегляне на пакет-източник apron.

Отговорник:

Debian OCaml Maintainers (Страница за QA, Пощенски архив)

Външни препратки:

Начална страница [apron.cri.ensmp.fr]

Подобни пакети:

runtime libraries for APRON

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 shared libraries needed at runtime.

Етикети: Role: Shared Library

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.1.3) [i386]

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

dep: libc6 (>= 2.14) [amd64]

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf]
dep: libgcc1 (>= 1:3.0) [не armhf]

GCC support library

dep: libgcc1 (>= 1:3.5) [armhf]
dep: libgmp10

Multiprecision arithmetic library
dep: libmpfr6 (>= 3.1.3)

multiple precision floating-point computation
dep: libppl14

Parma Polyhedra Library (runtime library)
dep: libstdc++6 (>= 5)

GNU Standard C++ Library v3

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.9.10-9+b3	478,5 кБ	1 712,0 кБ	[списък на файловете]
arm64	0.9.10-9+b3	379,2 кБ	1 484,0 кБ	[списък на файловете]
armhf	0.9.10-9+b4	431,2 кБ	1 074,0 кБ	[списък на файловете]
i386	0.9.10-9+b3	606,8 кБ	2 022,0 кБ	[списък на файловете]