すべてのオプション
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ ソース: apron  ]

パッケージ: libapron (0.9.10-9 など)

libapron に関するリンク

Screenshot

Debian の資源:

apron ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

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 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libapron のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 0.9.10-9+b1 472.7 kB1,720.0 kB [ファイル一覧]
arm64 0.9.10-9+b1 369.7 kB1,484.0 kB [ファイル一覧]
armel 0.9.10-9+b1 414.9 kB1,518.0 kB [ファイル一覧]
armhf 0.9.10-9+b1 429.7 kB1,075.0 kB [ファイル一覧]
i386 0.9.10-9+b1 597.3 kB1,994.0 kB [ファイル一覧]
mips 0.9.10-9+b1 451.9 kB1,819.0 kB [ファイル一覧]
mips64el 0.9.10-9+b1 381.3 kB1,730.0 kB [ファイル一覧]
mipsel 0.9.10-9+b1 460.6 kB1,817.0 kB [ファイル一覧]
ppc64el 0.9.10-9+b1 406.3 kB2,112.0 kB [ファイル一覧]
s390x 0.9.10-9+b1 408.8 kB1,817.0 kB [ファイル一覧]