معرفی شرکت ها
libapron-ocaml-dev_0.9.10-9+b3_mipsel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
abstract interpretation library (OCaml interface)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main mipsel |
| نام بسته | libapron-ocaml-dev |
| نام فایل بسته | libapron-ocaml-dev_0.9.10-9+b3_mipsel.deb |
| نسخه بسته | 0.9.10 |
| انتشار بسته | 9+b3 |
| معماری بسته | mipsel |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://apron.cri.ensmp.fr/library/ |
| مجوز | - |
| حجم دانلود | 1446928 |
| حجم نصب | 16121 |
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_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_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-hsod6 |
| - | ocaml-nox-4.05.0 |
| - | libapron-dev |
نحوه نصب
نصب پکیج deb libapron-ocaml-dev:
sudo apt-get install libapron-ocaml-dev_0.9.10-9+b3_mipsel.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/apron/abstract0.idl |
| ./usr/lib/ocaml/apron/abstract1.idl |
| ./usr/lib/ocaml/apron/apron.cma |
| ./usr/lib/ocaml/apron/apron.cmi |
| ./usr/lib/ocaml/apron/box.cmi |
| ./usr/lib/ocaml/apron/box.idl |
| ./usr/lib/ocaml/apron/box.ml |
| ./usr/lib/ocaml/apron/box.mli |
| ./usr/lib/ocaml/apron/boxD.cma |
| ./usr/lib/ocaml/apron/boxMPFR.cma |
| ./usr/lib/ocaml/apron/boxMPQ.cma |
| ./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.cma |
| ./usr/lib/ocaml/apron/gmp_random.cmi |
| ./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 |
| ./usr/lib/ocaml/apron/libboxMPFR_caml_debug.a |
| ./usr/lib/ocaml/apron/libboxMPFR_debug.a |
| ./usr/lib/ocaml/apron/libboxMPQ.a |
| ./usr/lib/ocaml/apron/libboxMPQ_caml.a |
| ./usr/lib/ocaml/apron/libboxMPQ_caml_debug.a |
| ./usr/lib/ocaml/apron/libboxMPQ_debug.a |
| ./usr/lib/ocaml/apron/libgmp_caml.a |
| ./usr/lib/ocaml/apron/libitv.a |
| ./usr/lib/ocaml/apron/libitvD.a |
| ./usr/lib/ocaml/apron/libitvD_debug.a |
| ./usr/lib/ocaml/apron/libitvIl.a |
| ./usr/lib/ocaml/apron/libitvIl_debug.a |
| ./usr/lib/ocaml/apron/libitvIll.a |
| ... and 200 more |