معرفی شرکت ها


libapron-ocaml-dev_0.9.10-9build4_i386.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

abstract interpretation library (OCaml interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته libapron-ocaml-dev
نام فایل بسته libapron-ocaml-dev_0.9.10-9build4_i386.deb
نسخه بسته 0.9.10
انتشار بسته 9build4
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://apron.cri.ensmp.fr/library/
مجوز -
حجم دانلود 1539744
حجم نصب 13746
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 files necessary to use the APRON library in OCaml.


جایگزین ها

بسته نسخه معماری مخزن
libapron-ocaml-dev_0.9.10-9build4_amd64.deb 0.9.10 amd64 Ubuntu universe


نیازمندی

مقدار نام
- libapron-ocaml-88t95
- ocaml-nox-4.05.0
- libapron-dev


نحوه نصب


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

    sudo apt-get install libapron-ocaml-dev_0.9.10-9build4_i386.deb


فایل ها

مسیرها
./usr/lib/ocaml/apron/abstract0.idl
./usr/lib/ocaml/apron/abstract1.idl
./usr/lib/ocaml/apron/apron.a
./usr/lib/ocaml/apron/apron.cma
./usr/lib/ocaml/apron/apron.cmi
./usr/lib/ocaml/apron/apron.cmx
./usr/lib/ocaml/apron/apron.cmxa
./usr/lib/ocaml/apron/box.cmi
./usr/lib/ocaml/apron/box.cmx
./usr/lib/ocaml/apron/box.idl
./usr/lib/ocaml/apron/box.ml
./usr/lib/ocaml/apron/box.mli
./usr/lib/ocaml/apron/boxD.a
./usr/lib/ocaml/apron/boxD.cma
./usr/lib/ocaml/apron/boxD.cmxa
./usr/lib/ocaml/apron/boxMPFR.a
./usr/lib/ocaml/apron/boxMPFR.cma
./usr/lib/ocaml/apron/boxMPFR.cmxa
./usr/lib/ocaml/apron/boxMPQ.a
./usr/lib/ocaml/apron/boxMPQ.cma
./usr/lib/ocaml/apron/boxMPQ.cmxa
./usr/lib/ocaml/apron/coeff.idl
./usr/lib/ocaml/apron/dim.idl
./usr/lib/ocaml/apron/environment.idl
./usr/lib/ocaml/apron/generator0.idl
./usr/lib/ocaml/apron/generator1.idl
./usr/lib/ocaml/apron/gmp.a
./usr/lib/ocaml/apron/gmp.cma
./usr/lib/ocaml/apron/gmp.cmxa
./usr/lib/ocaml/apron/gmp_random.cmi
./usr/lib/ocaml/apron/gmp_random.cmx
./usr/lib/ocaml/apron/gmp_random.idl
./usr/lib/ocaml/apron/gmp_random.mli
./usr/lib/ocaml/apron/interval.idl
./usr/lib/ocaml/apron/libap_pkgrid.a
./usr/lib/ocaml/apron/libap_pkgrid_debug.a
./usr/lib/ocaml/apron/libap_ppl.a
./usr/lib/ocaml/apron/libap_ppl_caml.a
./usr/lib/ocaml/apron/libap_ppl_caml_debug.a
./usr/lib/ocaml/apron/libap_ppl_debug.a
./usr/lib/ocaml/apron/libapron.a
./usr/lib/ocaml/apron/libapron_caml.a
./usr/lib/ocaml/apron/libapron_caml_debug.a
./usr/lib/ocaml/apron/libapron_debug.a
./usr/lib/ocaml/apron/libboxD.a
./usr/lib/ocaml/apron/libboxD_caml.a
./usr/lib/ocaml/apron/libboxD_caml_debug.a
./usr/lib/ocaml/apron/libboxD_debug.a
./usr/lib/ocaml/apron/libboxMPFR.a
./usr/lib/ocaml/apron/libboxMPFR_caml.a
... and 239 more