alle opties
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Bron: apron  ]

Pakket: libapron (0.9.10-9 en anderen)

Verwijzigingen voor libapron


Debian bronnen:

Het bronpakket apron downloaden:


Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan libapron gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libapron downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 0.9.10-9+b1 472,7 kB1.720,0 kB [overzicht]
arm64 0.9.10-9+b1 369,7 kB1.484,0 kB [overzicht]
armel 0.9.10-9+b1 414,9 kB1.518,0 kB [overzicht]
armhf 0.9.10-9+b1 429,7 kB1.075,0 kB [overzicht]
i386 0.9.10-9+b1 597,3 kB1.994,0 kB [overzicht]
mips 0.9.10-9+b1 451,9 kB1.819,0 kB [overzicht]
mips64el 0.9.10-9+b1 381,3 kB1.730,0 kB [overzicht]
mipsel 0.9.10-9+b1 460,6 kB1.817,0 kB [overzicht]
ppc64el 0.9.10-9+b1 406,3 kB2.112,0 kB [overzicht]
s390x 0.9.10-9+b1 408,8 kB1.817,0 kB [overzicht]