Tarkennettu haku
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: apron  ]

Paketti: libapron (0.9.10-9 ja muut)

Links for libapron

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti apron:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libapron liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libapron

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 0.9.10-9+b1 472.7 kt1,720.0 kt [tiedostoluettelo]
arm64 0.9.10-9+b1 369.7 kt1,484.0 kt [tiedostoluettelo]
armel 0.9.10-9+b1 414.9 kt1,518.0 kt [tiedostoluettelo]
armhf 0.9.10-9+b1 429.7 kt1,075.0 kt [tiedostoluettelo]
i386 0.9.10-9+b1 597.3 kt1,994.0 kt [tiedostoluettelo]
mips 0.9.10-9+b1 451.9 kt1,819.0 kt [tiedostoluettelo]
mips64el 0.9.10-9+b1 381.3 kt1,730.0 kt [tiedostoluettelo]
mipsel 0.9.10-9+b1 460.6 kt1,817.0 kt [tiedostoluettelo]
ppc64el 0.9.10-9+b1 406.3 kt2,112.0 kt [tiedostoluettelo]
s390x 0.9.10-9+b1 408.8 kt1,817.0 kt [tiedostoluettelo]