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

Ссылки для libapron

Ресурсы Debian:

Исходный код apron:

Сопровождающий:

Debian OCaml Maintainers (Страница КК, Почтовый архив)

Внешние ресурсы:

Сайт [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.

Теги: Роль: Динамическая библиотека

Другие пакеты, относящиеся к libapron

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.1.3) [i386]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

dep: libc6 (>= 2.14) [amd64]

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.2) [mips64el, mipsel]

dep: libc6 (>= 2.4) [armel, armhf, s390x]
dep: libgcc-s1 (>= 3.0) [не armel, armhf]

вспомогательная библиотека GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libppl14

Parma Polyhedra Library (runtime library)
dep: libstdc++6 (>= 5) [не armel]

стандартная библиотека GNU C++ версии 3

dep: libstdc++6 (>= 5.2) [armel]

Загрузка libapron

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.9.10-9.1+b2	457,8 Кб	1 668,0 Кб	[список файлов]
arm64	0.9.10-9.1+b2	390,4 Кб	1 508,0 Кб	[список файлов]
armel	0.9.10-9.1+b2	401,6 Кб	1 378,0 Кб	[список файлов]
armhf	0.9.10-9.1+b2	408,8 Кб	1 006,0 Кб	[список файлов]
i386	0.9.10-9.1+b2	577,7 Кб	1 942,0 Кб	[список файлов]
mips64el	0.9.10-9.1+b2	365,8 Кб	1 671,0 Кб	[список файлов]
mipsel	0.9.10-9.1+b2	449,6 Кб	1 745,0 Кб	[список файлов]
ppc64el	0.9.10-9.1+b2	474,8 Кб	2 240,0 Кб	[список файлов]
s390x	0.9.10-9.1+b2	392,7 Кб	1 687,0 Кб	[список файлов]