معرفی شرکت ها
libapron-ocaml-dev_0.9.10-9+b3_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
abstract interpretation library (OCaml interface)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main amd64 |
| نام بسته | libapron-ocaml-dev |
| نام فایل بسته | libapron-ocaml-dev_0.9.10-9+b3_amd64.deb |
| نسخه بسته | 0.9.10 |
| انتشار بسته | 9+b3 |
| معماری بسته | amd64 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://apron.cri.ensmp.fr/library/ |
| مجوز | - |
| حجم دانلود | 1288712 |
| حجم نصب | 14611 |
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+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-d1hi5 |
| - | ocaml-nox-4.05.0 |
| - | libapron-dev |
نحوه نصب
نصب پکیج deb libapron-ocaml-dev:
sudo apt-get install libapron-ocaml-dev_0.9.10-9+b3_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 |