معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Numerical abstract domain library

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

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, like 1<=x+y<=z, which holds during any execution of the program. The APRON library 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.

جایگزین ها

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

نیازمندی

مقدار	نام
-	libap_ppl.so.0()(64bit)
-	libap_ppl_debug.so.0()(64bit)
-	libapron.so.0()(64bit)
-	libapron_debug.so.0()(64bit)
-	libboxD.so.0()(64bit)
-	libboxD_debug.so.0()(64bit)
-	libboxMPFR.so.0()(64bit)
-	libboxMPFR_debug.so.0()(64bit)
-	libboxMPQ.so.0()(64bit)
-	libboxMPQ_debug.so.0()(64bit)
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libgcc_s.so.1()(64bit)
-	libgcc_s.so.1(GCC_3.0)(64bit)
-	libgcc_s.so.1(GCC_3.3.1)(64bit)
-	libgmp.so.10()(64bit)
-	libgmpxx.so.4()(64bit)
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.2.5)(64bit)
-	libmpfr.so.6()(64bit)
-	libpolkaMPQ.so.0()(64bit)
-	libpolkaMPQ_debug.so.0()(64bit)
-	libppl.so.14()(64bit)
-	libstdc++.so.6()(64bit)
-	libstdc++.so.6(CXXABI_1.3)(64bit)
-	libstdc++.so.6(CXXABI_1.3.1)(64bit)
-	libstdc++.so.6(CXXABI_1.3.8)(64bit)
-	libstdc++.so.6(CXXABI_1.3.9)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.9.13-13.fc37	apron
= 0.9.13-13.fc37	apron(x86-64)
-	libap_pkgrid.so.0()(64bit)
-	libap_pkgrid_debug.so.0()(64bit)
-	libap_ppl.so.0()(64bit)
-	libap_ppl_debug.so.0()(64bit)
-	libapron.so.0()(64bit)
-	libapron_debug.so.0()(64bit)
-	libapronxx.so.0()(64bit)
-	libapronxx_debug.so.0()(64bit)
-	libboxD.so.0()(64bit)
-	libboxD_debug.so.0()(64bit)
-	libboxMPFR.so.0()(64bit)
-	libboxMPFR_debug.so.0()(64bit)
-	libboxMPQ.so.0()(64bit)
-	libboxMPQ_debug.so.0()(64bit)
-	liboctD.so.0()(64bit)
-	liboctD_debug.so.0()(64bit)
-	liboctMPQ.so.0()(64bit)
-	liboctMPQ_debug.so.0()(64bit)
-	libpolkaMPQ.so.0()(64bit)
-	libpolkaMPQ_debug.so.0()(64bit)
-	libpolkaRll.so.0()(64bit)
-	libpolkaRll_debug.so.0()(64bit)
-	libt1pD.so.0()(64bit)
-	libt1pD_debug.so.0()(64bit)
-	libt1pMPFR.so.0()(64bit)
-	libt1pMPFR_debug.so.0()(64bit)
-	libt1pMPQ.so.0()(64bit)
-	libt1pMPQ_debug.so.0()(64bit)

نحوه نصب

نصب پکیج rpm apron:

dnf install apron-0.9.13-13.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/7606064ba299e84628f76a48f75ec0cbee88bd
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/60f3ce96461b402ac30e0906e0b2b25f483aaa
/usr/lib/.build-id/27
/usr/lib/.build-id/27/19c9500c3fe6fb9c5a404b17acbef450ce771e
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/bc3a018512d67734e029d7ac2c6e6f031db5e9
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/a853c632e96358b770bb4c464610559a674d11
/usr/lib/.build-id/36
/usr/lib/.build-id/36/b4a7967d1086e235f4f0018d7f43bda2e4470f
/usr/lib/.build-id/41
/usr/lib/.build-id/41/4fab840275fac39f3862f7302c18635320a95e
/usr/lib/.build-id/51
/usr/lib/.build-id/51/e80531360ecbeedee93abbf655b54fe754490d
/usr/lib/.build-id/55
/usr/lib/.build-id/55/5293c7a2ef5793e28ffd1677cc249d773a9d27
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/cb14db48b0ea3c740a8a6d967b802df640474f
/usr/lib/.build-id/67
/usr/lib/.build-id/67/af61214d077700430c578d90bfc6369074add2
/usr/lib/.build-id/81
/usr/lib/.build-id/81/107ecdb2f87489d4d6f2ce8702d10c0e3c0ec4
/usr/lib/.build-id/89
/usr/lib/.build-id/89/9c35b3ab15428cd3e6a5f70b031c1e2336ff9f
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/756646665613095adf29d03de1029e47fd227a
/usr/lib/.build-id/8a/e9577ed4202ed1d212d4b81e8c35e3ef7038d6
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/ff429ebc2ff7913511338862569bf12d889e88
/usr/lib/.build-id/95
/usr/lib/.build-id/95/ad9f31a639a9edf9da754e744e0dc3463ca912
/usr/lib/.build-id/96
/usr/lib/.build-id/96/75f22ea527888824fa48a198e914b24f1b8079
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/0975d5e9e8bca7b24862ced477d419fadea28d
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/205d4e073cbbf35f65d1e4c6dee887afeb8355
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/5a263e75e0dbf44e7647c181d1049ec69ae06a
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/ae8f615d98bade23615b6d4e3016f81913faed
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/ac3759d88c5c84e7cc201e4dd9a08e2dac1504
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/bde6e438e9a39f989c53108549a56ebb6d1226
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/7da5d6900856e1abc550aca26aa3564bac2bfe
... and 69 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