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

Връзки за 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, ppc64el]

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

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

GCC support library

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

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

GNU Standard C++ Library v3

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 кБ	[списък на файловете]