معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for the Ocaml interface to APRON

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

Development files for the Ocaml interface to the APRON library.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-apron-devel-0.9.13-13.fc37.i686.rpm	0.9.13	i686	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(aarch-64)
= 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(aarch-64)
= 5a09570c578acbcce04e336cc080b288	ocamlx(Apron)
= fe6d5a75ee0baa437e7dd4e6de22a0ed	ocamlx(Mpfr)
= 29ac390f8670c0ff91ec5e248339fc67	ocamlx(Mpfrf)
= b23ddd4e970c28efdc06dbb46ef89836	ocamlx(Mpqf)
= 344d0f5acfb784d9f976e99639199262	ocamlx(Mpzf)
= 38e227ea48015bcdfb5d9a4f1cb2689a	ocamlx(Stdlib)
= c17b2f7cf4a4cce9bfec4b26eec495f7	ocamlx(Stdlib__Array)
= 4071c8a0c213a3d90f3894ee1507cbf1	ocamlx(Stdlib__Callback)
= 252dee0ca8b365189f2ed175e3779e3c	ocamlx(Stdlib__Format)
= b92bcde89c2e887e267fc7f0ad189ee9	ocamlx(Stdlib__Lexing)
= 55527cfeed14dbd1464fa9bc64111883	ocamlx(Stdlib__List)
= f50fe0f7d9facd7fd97342bdfe2c1be0	ocamlx(Stdlib__Parsing)
= 650b799d3032d2e3c133eae0b21c0f95	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(aarch-64)
= 5a09570c578acbcce04e336cc080b288	ocamlx(Apron)
= 4f6baef40cc2fb2df4d4537401671b40	ocamlx(Box)
= d7d9f02870a406c67f55b84e139adb48	ocamlx(Oct)
= 293375abd551ffd7bfd7da7ff5c5190c	ocamlx(Polka)
= 229a656e0f6310ab97c1bba5dfe4cd71	ocamlx(PolkaGrid)
= 7ceb24f37cdba81c8a040386ccf2aec9	ocamlx(Ppl)
= abab33c0605338c9f50f84bb360b30f3	ocamlx(T1p)

نحوه نصب

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

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

فایل ها

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