معرفی شرکت ها


libapron_0.9.10-9+b3_i386.deb


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

runtime libraries for APRON
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main i386
نام بسته libapron
نام فایل بسته libapron_0.9.10-9+b3_i386.deb
نسخه بسته 0.9.10
انتشار بسته 9+b3
معماری بسته i386
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://apron.cri.ensmp.fr/library/
مجوز -
حجم دانلود 621356
حجم نصب 2022
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-dev_0.9.10-9_all.deb 0.9.10 all Debian main
libapron-ocaml-dev_0.9.10-9+b3_amd64.deb 0.9.10 amd64 Debian main
libapron-ocaml-dev_0.9.10-9+b3_arm64.deb 0.9.10 arm64 Debian main
libapron-ocaml-dev_0.9.10-9+b3_i386.deb 0.9.10 i386 Debian main
libapron-ocaml-dev_0.9.10-9+b3_mips.deb 0.9.10 mips Debian main
libapron-ocaml-dev_0.9.10-9+b3_mips64el.deb 0.9.10 mips64el Debian main
libapron-ocaml-dev_0.9.10-9+b3_mipsel.deb 0.9.10 mipsel Debian main
libapron-ocaml-dev_0.9.10-9+b3_ppc64el.deb 0.9.10 ppc64el Debian main
libapron-ocaml-dev_0.9.10-9+b3_s390x.deb 0.9.10 s390x Debian main
libapron-ocaml-dev_0.9.10-9+b4_armel.deb 0.9.10 armel Debian main
libapron-ocaml-dev_0.9.10-9+b4_armhf.deb 0.9.10 armhf Debian main
libapron-ocaml_0.9.10-9+b3_amd64.deb 0.9.10 amd64 Debian main
libapron-ocaml_0.9.10-9+b3_arm64.deb 0.9.10 arm64 Debian main
libapron-ocaml_0.9.10-9+b3_i386.deb 0.9.10 i386 Debian main
libapron-ocaml_0.9.10-9+b3_mips.deb 0.9.10 mips Debian main
libapron-ocaml_0.9.10-9+b3_mips64el.deb 0.9.10 mips64el Debian main
libapron-ocaml_0.9.10-9+b3_mipsel.deb 0.9.10 mipsel Debian main
libapron-ocaml_0.9.10-9+b3_ppc64el.deb 0.9.10 ppc64el Debian main
libapron-ocaml_0.9.10-9+b3_s390x.deb 0.9.10 s390x Debian main
libapron-ocaml_0.9.10-9+b4_armel.deb 0.9.10 armel Debian main
libapron-ocaml_0.9.10-9+b4_armhf.deb 0.9.10 armhf Debian main
libapron_0.9.10-9+b3_amd64.deb 0.9.10 amd64 Debian main
libapron_0.9.10-9+b3_arm64.deb 0.9.10 arm64 Debian main
libapron_0.9.10-9+b3_mips.deb 0.9.10 mips Debian main
libapron_0.9.10-9+b3_mips64el.deb 0.9.10 mips64el Debian main
libapron_0.9.10-9+b3_mipsel.deb 0.9.10 mipsel Debian main
libapron_0.9.10-9+b3_ppc64el.deb 0.9.10 ppc64el Debian main
libapron_0.9.10-9+b3_s390x.deb 0.9.10 s390x Debian main
libapron_0.9.10-9+b4_armel.deb 0.9.10 armel Debian main
libapron_0.9.10-9+b4_armhf.deb 0.9.10 armhf Debian main


نیازمندی

مقدار نام
>= 2.1.3 libc6
>= 1:3.0 libgcc1
- libgmp10
>= 3.1.3 libmpfr6
- libppl14
>= 5 libstdc++6


نحوه نصب


نصب پکیج deb libapron:

    sudo apt-get install libapron_0.9.10-9+b3_i386.deb


فایل ها

مسیرها
./usr/lib/libap_pkgrid.so.0
./usr/lib/libap_ppl.so.0
./usr/lib/libapron.so.0
./usr/lib/libboxD.so.0
./usr/lib/libboxMPFR.so.0
./usr/lib/libboxMPQ.so.0
./usr/lib/liboctD.so.0
./usr/lib/liboctMPQ.so.0
./usr/lib/libpolkaMPQ.so.0
./usr/lib/libpolkaRll.so.0
./usr/share/doc/libapron/README.source
./usr/share/doc/libapron/changelog.Debian.gz
./usr/share/doc/libapron/changelog.Debian.i386.gz
./usr/share/doc/libapron/changelog.gz
./usr/share/doc/libapron/copyright
./usr/share/lintian/overrides/libapron