معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Development files for the Ocaml interface to APRON

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything i686
نام بسته	ocaml-apron-devel
نام فایل بسته	ocaml-apron-devel-0.9.13-13.fc37.i686.rpm
نسخه بسته	0.9.13
انتشار بسته	13.fc37
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Thu 21 Jul 2022 01
هاست سازنده	buildvm-x86-31.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://antoinemine.github.io/Apron/doc/
مجوز	LGPLv2+ and GPLv2+
حجم دانلود	390K
حجم نصب	3.861M

Development files for the Ocaml interface to the APRON library.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-apron-devel-0.9.13-13.fc37.aarch64.rpm	0.9.13	aarch64	Fedora Everything
ocaml-apron-devel-0.9.13-13.fc37.x86_64.rpm	0.9.13	x86_64	Fedora Everything

نیازمندی

مقدار	نام
= 0.9.13-13.fc37	apron-devel(x86-32)
= 71ec6d8d7ab2c25b5737e41bcdc3159b	ocaml(Apron)
= 8f8f634558798ee408df3c50a5539b15	ocaml(CamlinternalFormatBasics)
= 1c9a9ae6d75b13ab5d69088fa1adfea6	ocaml(Mpf)
= 31f7eeacb3c60ccfeab68551563f74c1	ocaml(Mpfr)
= 8cffd66b9ff878cef58ff5e5c7592c76	ocaml(Mpfrf)
= b01a9befe3a5a9a8b9c0e7a0ae1d0d14	ocaml(Mpq)
= 3b98102539ca73849fa9439187ab6df6	ocaml(Mpqf)
= 9122b8145454ec4fba6e852bc127a621	ocaml(Mpz)
= 2f6b6e42a172414280af2937a856e499	ocaml(Mpzf)
= 91e7e184f35733b6a9a70be6a44fe6f5	ocaml(Polka)
= 1ba41f2e8f88fc0837f4255838c5dee8	ocaml(Ppl)
= 6d7bf11af14ea68354925f3a37387930	ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865	ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3	ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822	ocaml(Stdlib__Buffer)
= fe29a598e1902f0b901e88a9865c26ef	ocaml(Stdlib__Callback)
= 4555217c759e89d65daa8f682eb09b35	ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9	ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc	ocaml(Stdlib__Format)
= a71ea5238030770647165f659f80b1ab	ocaml(Stdlib__Int32)
= c9318c276ac7e383fd682c2dd06be434	ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9	ocaml(Stdlib__List)
= 25794d29f7f4018768ea900e331a2bf3	ocaml(Stdlib__Obj)
= bb5f62fa906224c917383a27d025e251	ocaml(Stdlib__Parsing)
= b63511032211eae4b567ba313cd72962	ocaml(Stdlib__Seq)
= 097838f294457ecbb61ccbcf86cc6972	ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57	ocaml(Stdlib__Uchar)
= 0.9.13-13.fc37	ocaml-apron(x86-32)
= 530aabed15fe2d52d3edca2e6c1f0112	ocamlx(Apron)
= 189e3c23313cef287e0733e3926fc5c8	ocamlx(Mpfr)
= 78348fa83e1862878a4d0e425773fc46	ocamlx(Mpfrf)
= c363e2e7f9c70a92afcd7bfb04b11140	ocamlx(Mpqf)
= 89f8a0a07bef87c0e5ec343c80e5dda5	ocamlx(Mpzf)
= 9368a49701ad6a803837a9aaf468fe80	ocamlx(Stdlib)
= f5e35394c06bfd1aa1d428bdbad5580b	ocamlx(Stdlib__Array)
= c9fe6a12c59de4244d76e266145c9245	ocamlx(Stdlib__Callback)
= 8ba5b9e3b3bfabb5929dfe90482b41db	ocamlx(Stdlib__Format)
= 7d6dc7b02e62f273aa77d31c6c615bbd	ocamlx(Stdlib__Lexing)
= f0cf7c8d9e283437a5a02833ca0a0372	ocamlx(Stdlib__List)
= 4cc7e56189cab8deb4663d99a581df18	ocamlx(Stdlib__Parsing)
= 562243d8e750754ba5796bf79e659d72	ocamlx(Stdlib__String)

ارائه دهنده

مقدار	نام
= 71ec6d8d7ab2c25b5737e41bcdc3159b	ocaml(Apron)
= e8d962dc16ed8dd6fb58104292399ad7	ocaml(Box)
= fbfedb3ceacae1553ed3ac08a17a4936	ocaml(Oct)
= 91e7e184f35733b6a9a70be6a44fe6f5	ocaml(Polka)
= 9033bcf7ac2cfe3c492d78ea0456e6c7	ocaml(PolkaGrid)
= 1ba41f2e8f88fc0837f4255838c5dee8	ocaml(Ppl)
= 0a2936255d9b336f5710bcefc3a8b47c	ocaml(T1p)
= 0.9.13-13.fc37	ocaml-apron-devel
= 0.9.13-13.fc37	ocaml-apron-devel(x86-32)
= 530aabed15fe2d52d3edca2e6c1f0112	ocamlx(Apron)
= 1d3fc7c14d71d73bbd73c75600840260	ocamlx(Box)
= a65e49fe0aac8b87ec83a3d0688c7cca	ocamlx(Oct)
= 491387c9ccaed8ccbf3413cf74626d45	ocamlx(Polka)
= 6384ed2ab996599e084b5887672f00a0	ocamlx(PolkaGrid)
= d414208ea1156dd01860ad914480181c	ocamlx(Ppl)
= abab33c0605338c9f50f84bb360b30f3	ocamlx(T1p)

نحوه نصب

نصب پکیج rpm ocaml-apron-devel:

dnf install ocaml-apron-devel-0.9.13-13.fc37.i686.rpm

فایل ها

مسیرها
/usr/lib/ocaml/apron/abstract0.idl
/usr/lib/ocaml/apron/abstract1.idl
/usr/lib/ocaml/apron/apron.a
/usr/lib/ocaml/apron/apron.cmx
/usr/lib/ocaml/apron/apron.cmxa
/usr/lib/ocaml/apron/apron.d.a
/usr/lib/ocaml/apron/apron.d.cmxa
/usr/lib/ocaml/apron/apron_caml.h
/usr/lib/ocaml/apron/apron_ocamldoc.mli
/usr/lib/ocaml/apron/box.cmx
/usr/lib/ocaml/apron/box.mli
/usr/lib/ocaml/apron/boxD.a
/usr/lib/ocaml/apron/boxD.cmxa
/usr/lib/ocaml/apron/boxMPFR.a
/usr/lib/ocaml/apron/boxMPFR.cmxa
/usr/lib/ocaml/apron/boxMPQ.a
/usr/lib/ocaml/apron/boxMPQ.cmxa
/usr/lib/ocaml/apron/coeff.idl
/usr/lib/ocaml/apron/dim.idl
/usr/lib/ocaml/apron/disjunction.idl
/usr/lib/ocaml/apron/environment.idl
/usr/lib/ocaml/apron/generator0.idl
/usr/lib/ocaml/apron/generator1.idl
/usr/lib/ocaml/apron/interval.idl
/usr/lib/ocaml/apron/libap_ppl_caml.a
/usr/lib/ocaml/apron/libap_ppl_caml_debug.a
/usr/lib/ocaml/apron/libapron_caml.a
/usr/lib/ocaml/apron/libapron_caml_debug.a
/usr/lib/ocaml/apron/libboxD_caml.a
/usr/lib/ocaml/apron/libboxD_caml_debug.a
/usr/lib/ocaml/apron/libboxMPFR_caml.a
/usr/lib/ocaml/apron/libboxMPFR_caml_debug.a
/usr/lib/ocaml/apron/libboxMPQ_caml.a
/usr/lib/ocaml/apron/libboxMPQ_caml_debug.a
/usr/lib/ocaml/apron/liboctD_caml.a
/usr/lib/ocaml/apron/liboctD_caml_debug.a
/usr/lib/ocaml/apron/liboctMPQ_caml.a
/usr/lib/ocaml/apron/liboctMPQ_caml_debug.a
/usr/lib/ocaml/apron/libpolkaGrid_caml.a
/usr/lib/ocaml/apron/libpolkaGrid_caml_debug.a
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a
/usr/lib/ocaml/apron/libpolkaMPQ_caml_debug.a
/usr/lib/ocaml/apron/libpolkaRll_caml.a
/usr/lib/ocaml/apron/libpolkaRll_caml_debug.a
/usr/lib/ocaml/apron/libt1pD_caml.a
/usr/lib/ocaml/apron/libt1pD_caml_debug.a
/usr/lib/ocaml/apron/libt1pMPFR_caml.a
/usr/lib/ocaml/apron/libt1pMPFR_caml_debug.a
/usr/lib/ocaml/apron/libt1pMPQ_caml.a
/usr/lib/ocaml/apron/libt1pMPQ_caml_debug.a
... and 177 more

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-05	Do not build japron on i686 (rhbz#2104018) Use new OCaml macros
2022-06-18	OCaml 4.14.0 rebuild
2022-04-27	Add -custom-operations patch to silence warnings Trim Requires Build native OCaml objects with debuginfo
2022-02-05	Rebuilt for java-17-openjdk as system jdk
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-27	Rebuild for ocaml-mlgmpidl 1.2.14
2021-10-04	OCaml 4.13.1 build
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-03-01	OCaml 4.12.0 build
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-11-20	Fix install location of OCaml stublibs
2020-09-25	Version 0.9.13 Drop upstreamed -texinfo patch
2020-09-01	OCaml 4.11.1 rebuild
2020-08-21	OCaml 4.11.0 rebuild