معرفی شرکت ها

libapron-ocaml-dev_0.9.10-9.1+b2_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

abstract interpretation library (OCaml interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main amd64
نام بسته libapron-ocaml-dev
نام فایل بسته libapron-ocaml-dev_0.9.10-9.1+b2_amd64.deb
نسخه بسته 0.9.10
انتشار بسته 9.1+b2
معماری بسته amd64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://apron.cri.ensmp.fr/library/
مجوز -
حجم دانلود 1336052
حجم نصب 14581
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-9.1+b2_arm64.deb 0.9.10 arm64 Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_armel.deb 0.9.10 armel Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_armhf.deb 0.9.10 armhf Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_i386.deb 0.9.10 i386 Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_mips64el.deb 0.9.10 mips64el Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_mipsel.deb 0.9.10 mipsel Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_ppc64el.deb 0.9.10 ppc64el Debian main
libapron-ocaml-dev_0.9.10-9.1+b2_s390x.deb 0.9.10 s390x Debian main


نیازمندی

مقدار نام
- libapron-ocaml-f72a2
- ocaml-nox-4.11.1
- libapron-dev


نحوه نصب


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

    sudo apt-get install libapron-ocaml-dev_0.9.10-9.1+b2_amd64.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 241 more