tüm seçenekler
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Kaynak: apron  ]

Paket: libapron (0.9.10-6 ve diğerleri)

libapron için bağlantılar

Screenshot

Debian Kaynakları:

apron Kaynak Paketini İndir:

Geliştirici:

Dış Kaynaklar:

Benzer paketler:

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.

Etiketler: Yazılım Geliştirme: C Geliştirme, OCaml Geliştirme, Kitaplıklar, devel::testing-qa, implemented-in::c, Rol: Paylaşılan Kitaplık, Amaç: Analiz, Denetleme

libapron ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libapron indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 0.9.10-6+b1 456,7 kB1.679,0 kB [dosya listesi]
arm64 0.9.10-6 371,6 kB1.440,0 kB [dosya listesi]
armel 0.9.10-6+b1 409,0 kB1.475,0 kB [dosya listesi]
armhf 0.9.10-6+b1 433,5 kB1.078,0 kB [dosya listesi]
i386 0.9.10-6+b1 535,6 kB1.787,0 kB [dosya listesi]
mips 0.9.10-6+b1 442,3 kB1.865,0 kB [dosya listesi]
mipsel 0.9.10-6+b1 449,9 kB1.863,0 kB [dosya listesi]
powerpc 0.9.10-6+b1 457,8 kB1.806,0 kB [dosya listesi]
ppc64el 0.9.10-6 409,6 kB1.791,0 kB [dosya listesi]
s390x 0.9.10-6+b1 442,3 kB1.904,0 kB [dosya listesi]