معرفی شرکت ها


libapron-ocaml_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 (OCaml interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main i386
نام بسته libapron-ocaml
نام فایل بسته libapron-ocaml_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/
مجوز -
حجم دانلود 65900
حجم نصب 347
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 include only the dynamic libraries needed for running dynamic bytecode executables.


جایگزین ها



نیازمندی

مقدار نام
- ocaml-base-nox-4.05.0
- libapron
>= 2.4 libc6
>= 1:3.0 libgcc1
- libgmp10
>= 3.1.3 libmpfr6
>= 4.1.1 libstdc++6


نحوه نصب


نصب پکیج deb libapron-ocaml:

    sudo apt-get install libapron-ocaml_0.9.10-9+b3_i386.deb


فایل ها

مسیرها
./usr/lib/ocaml/stublibs/libap_ppl_caml.so
./usr/lib/ocaml/stublibs/libapron_caml.so
./usr/lib/ocaml/stublibs/libboxD_caml.so
./usr/lib/ocaml/stublibs/libboxMPFR_caml.so
./usr/lib/ocaml/stublibs/libboxMPQ_caml.so
./usr/lib/ocaml/stublibs/libgmp_caml.so
./usr/lib/ocaml/stublibs/liboctD_caml.so
./usr/lib/ocaml/stublibs/liboctMPQ_caml.so
./usr/lib/ocaml/stublibs/libpolkaGrid_caml.so
./usr/lib/ocaml/stublibs/libpolkaMPQ_caml.so
./usr/lib/ocaml/stublibs/libpolkaRll_caml.so
./usr/share/doc/libapron-ocaml/README.source
./usr/share/doc/libapron-ocaml/changelog.Debian.gz
./usr/share/doc/libapron-ocaml/changelog.Debian.i386.gz
./usr/share/doc/libapron-ocaml/changelog.gz
./usr/share/doc/libapron-ocaml/copyright
./usr/lib/ocaml/stublibs/dllap_ppl_caml.so -> libap_ppl_caml.so
./usr/lib/ocaml/stublibs/dllapron_caml.so -> libapron_caml.so
./usr/lib/ocaml/stublibs/dllboxD_caml.so -> libboxD_caml.so
./usr/lib/ocaml/stublibs/dllboxMPFR_caml.so -> libboxMPFR_caml.so
./usr/lib/ocaml/stublibs/dllboxMPQ_caml.so -> libboxMPQ_caml.so
./usr/lib/ocaml/stublibs/dllgmp_caml.so -> libgmp_caml.so
./usr/lib/ocaml/stublibs/dlloctD_caml.so -> liboctD_caml.so
./usr/lib/ocaml/stublibs/dlloctMPQ_caml.so -> liboctMPQ_caml.so
./usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so -> libpolkaGrid_caml.so
./usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so -> libpolkaMPQ_caml.so
./usr/lib/ocaml/stublibs/dllpolkaRll_caml.so -> libpolkaRll_caml.so