Skip to content
Sections
>> Trisquel >> Packages >> etiona >> libs >> libapron
etiona  ] [  nabia  ]
[ Source: apron  ]

Пакунок: libapron (0.9.10-9build4)

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

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.4) [i386]
  • dep: libgcc1 (>= 1:3.0)
    GCC support library
  • dep: libppl14
    Parma Polyhedra Library (runtime library)
  • dep: libstdc++6 (>= 5)
    GNU Standard C++ Library v3

Завантажити libapron

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 480.0 kB1731 kB [список файлів]
i386 612.6 kB2033 kB [список файлів]