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

Paket: libapron (0.9.10-9 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.

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-9+b1 472,7 kB1.720,0 kB [dosya listesi]
arm64 0.9.10-9+b1 369,7 kB1.484,0 kB [dosya listesi]
armel 0.9.10-9+b1 414,9 kB1.518,0 kB [dosya listesi]
armhf 0.9.10-9+b1 429,7 kB1.075,0 kB [dosya listesi]
i386 0.9.10-9+b1 597,3 kB1.994,0 kB [dosya listesi]
mips 0.9.10-9+b1 451,9 kB1.819,0 kB [dosya listesi]
mips64el 0.9.10-9+b1 381,3 kB1.730,0 kB [dosya listesi]
mipsel 0.9.10-9+b1 460,6 kB1.817,0 kB [dosya listesi]
ppc64el 0.9.10-9+b1 406,3 kB2.112,0 kB [dosya listesi]
s390x 0.9.10-9+b1 408,8 kB1.817,0 kB [dosya listesi]