معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Numerical abstract domain library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	apron
نام فایل بسته	apron-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+
حجم دانلود	1.7M
حجم نصب	5.712M

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.i686.rpm	0.9.13	i686	Fedora Everything
apron-0.9.13-13.fc37.src.rpm	0.9.13	i686	Fedora Everything
apron-0.9.13-13.fc37.x86_64.rpm	0.9.13	x86_64	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

نیازمندی

مقدار	نام
-	ld-linux-aarch64.so.1()(64bit)
-	ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
-	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.17)(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.17)(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(aarch-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.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/2695af72f4477edabbdd874430fd2c346d7851
/usr/lib/.build-id/05
/usr/lib/.build-id/05/8799405e3c650fd50e48a0faa786344995b42b
/usr/lib/.build-id/08
/usr/lib/.build-id/08/114fd6b0beb41773312e005ecdfdeef92951ce
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/90baa3c9ca71645204d7b83e7c3a61fbd98d33
/usr/lib/.build-id/22
/usr/lib/.build-id/22/b5925f1f3fc47d1e8e186f5459cdfe97d3f64a
/usr/lib/.build-id/28
/usr/lib/.build-id/28/25da63691b57cd9cbd7df7f85f9af55c6abbdc
/usr/lib/.build-id/38
/usr/lib/.build-id/38/18aef3ced8840ca5572d31739f078ce82625d6
/usr/lib/.build-id/56
/usr/lib/.build-id/56/58bbd9d8964533344e5693d8808b1fcdd0b61a
/usr/lib/.build-id/59
/usr/lib/.build-id/59/a589f173feffe80a578185bfe0af35584a92ba
/usr/lib/.build-id/67
/usr/lib/.build-id/67/ee9e4ae80a5c6ae0559df5f7fadd235c70433c
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/ec10ec16080499d0f3f0a3fb15ab718f8b3d39
/usr/lib/.build-id/79
/usr/lib/.build-id/79/0b9c92f4678b3b3f493b2d90954e1a9517946e
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/b6b188d4d76203eea5a7ffa68af322f289b6c6
/usr/lib/.build-id/7c
/usr/lib/.build-id/7c/229453ac66ae834f0e74ff525ff25fd9635153
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/63f6d0d208d9e5d2fa039337996e252c3326a2
/usr/lib/.build-id/81
/usr/lib/.build-id/81/c8ddd9677bcc7ccf022041549b51e45c508fed
/usr/lib/.build-id/82
/usr/lib/.build-id/82/f92c2f78ee64c7a39cee2c3990b323b2222ebe
/usr/lib/.build-id/84
/usr/lib/.build-id/84/5dd960fd9505d0aed63c4fb4761cf09deee34c
/usr/lib/.build-id/89
/usr/lib/.build-id/89/8105f37ee54d945bb2c6dc747046e5cc9892d5
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/f51a60d808058ff4822a3c92328c04404930c4
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/6629e15c868e628be689596bf63a09ea65763f
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/4d484f319d6f0092def684e8ee56c19e950b9a
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/dc55810ebc41ea3407dc6a360a24ba90844f6a
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/716444757d0cf13aba8b4f1c900b4d3fb6a7ec
/usr/lib/.build-id/cd/c8ee47069acaf6e23d5c536d1f945cd37f756f
... 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