alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Källkod: apron  ]

Paket: libapron (0.9.10-9 och andra)

Länkar för libapron



Hämta källkodspaketet apron:


Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libapron

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libapron

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 0.9.10-9+b1 472,7 kbyte1.720,0 kbyte [filförteckning]
arm64 0.9.10-9+b1 369,7 kbyte1.484,0 kbyte [filförteckning]
armel 0.9.10-9+b1 414,9 kbyte1.518,0 kbyte [filförteckning]
armhf 0.9.10-9+b1 429,7 kbyte1.075,0 kbyte [filförteckning]
i386 0.9.10-9+b1 597,3 kbyte1.994,0 kbyte [filförteckning]
mips 0.9.10-9+b1 451,9 kbyte1.819,0 kbyte [filförteckning]
mips64el 0.9.10-9+b1 381,3 kbyte1.730,0 kbyte [filförteckning]
mipsel 0.9.10-9+b1 460,6 kbyte1.817,0 kbyte [filförteckning]
ppc64el 0.9.10-9+b1 406,3 kbyte2.112,0 kbyte [filförteckning]
s390x 0.9.10-9+b1 408,8 kbyte1.817,0 kbyte [filförteckning]