all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: apron  ]

Package: libapron (0.9.10-9 and others)

Links for libapron

Screenshot

Debian Resources:

Download Source Package apron:

Maintainer:

External Resources:

Similar packages:

Kørselstidsbiblioteker for APRON

APRON-biblioteket er dedikeret til statisk analyse af numeriske variabler for et program ved abstrakt fortolkning. Formålet med sådan en analyse er at udlede invarianter. Det er lavet som en fælles grænseflade til diverse biblioteker/abstrakte domæner og til at tilbyde yderligere tjenester, som kan implementeres uafhængigt fra det underliggende biblioteks-/abstrakt-domæne.

Denne pakke indeholder de delte biblioteker krævet på kørselstidspunktet.

Other Packages Related to libapron

  • depends
  • recommends
  • suggests
  • enhances

Download libapron

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.9.10-9+b1 472.7 kB1,720.0 kB [list of files]
arm64 0.9.10-9+b1 369.7 kB1,484.0 kB [list of files]
armel 0.9.10-9+b1 414.9 kB1,518.0 kB [list of files]
armhf 0.9.10-9+b1 429.7 kB1,075.0 kB [list of files]
i386 0.9.10-9+b1 597.3 kB1,994.0 kB [list of files]
mips 0.9.10-9+b1 451.9 kB1,819.0 kB [list of files]
mips64el 0.9.10-9+b1 381.3 kB1,730.0 kB [list of files]
mipsel 0.9.10-9+b1 460.6 kB1,817.0 kB [list of files]
ppc64el 0.9.10-9+b1 406.3 kB2,112.0 kB [list of files]
s390x 0.9.10-9+b1 408.8 kB1,817.0 kB [list of files]