معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Numerical abstract domain library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	apron
نام فایل بسته	apron-0.9.14-1.fc39.x86_64.rpm
نسخه بسته	0.9.14
انتشار بسته	1.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 22 Sep 2023 07
هاست سازنده	buildvm-x86-09.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://antoinemine.github.io/Apron/doc/
مجوز	LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later
حجم دانلود	1.5M
حجم نصب	3.701M

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.14-1.fc39.aarch64.rpm	0.9.14	aarch64	Fedora Everything
apron-0.9.14-1.fc39.src.rpm	0.9.14	x86_64	Fedora Everything
apron-debuginfo-0.9.14-1.fc39.aarch64.rpm	0.9.14	aarch64	Fedora Everything
apron-debuginfo-0.9.14-1.fc39.x86_64.rpm	0.9.14	x86_64	Fedora Everything
apron-debugsource-0.9.14-1.fc39.aarch64.rpm	0.9.14	aarch64	Fedora Everything
apron-debugsource-0.9.14-1.fc39.x86_64.rpm	0.9.14	x86_64	Fedora Everything
apron-devel-0.9.14-1.fc39.aarch64.rpm	0.9.14	aarch64	Fedora Everything
apron-devel-0.9.14-1.fc39.x86_64.rpm	0.9.14	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libap_ppl.so()(64bit)
-	libapron.so()(64bit)
-	libboxD.so()(64bit)
-	libboxMPFR.so()(64bit)
-	libboxMPQ.so()(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)
-	libflint.so.17()(64bit)
-	libgcc_s.so.1()(64bit)
-	libgcc_s.so.1(GCC_3.0)(64bit)
-	libgcc_s.so.1(GCC_3.3.1)(64bit)
-	libglpk.so.40()(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()(64bit)
-	libppl.so.14()(64bit)
-	libpplite.so.4()(64bit)
-	libsdp.so.6()(64bit)
-	libstdc++.so.6()(64bit)
-	libstdc++.so.6(CXXABI_1.3)(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.11)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.15)(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.32)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.9.14-1.fc39	apron
= 0.9.14-1.fc39	apron(x86-64)
-	libap_pkgrid.so()(64bit)
-	libap_ppl.so()(64bit)
-	libap_pplite.so()(64bit)
-	libapron.so()(64bit)
-	libapronxx.so()(64bit)
-	libavoD.so()(64bit)
-	libavoMPQ.so()(64bit)
-	libboxD.so()(64bit)
-	libboxMPFR.so()(64bit)
-	libboxMPQ.so()(64bit)
-	libfppD.so()(64bit)
-	libfppDl.so()(64bit)
-	liboctD.so()(64bit)
-	liboctMPQ.so()(64bit)
-	libpolkaMPQ.so()(64bit)
-	libpolkaRll.so()(64bit)
-	libt1pD.so()(64bit)
-	libt1pMPFR.so()(64bit)
-	libt1pMPQ.so()(64bit)

نحوه نصب

نصب پکیج rpm apron:

dnf install apron-0.9.14-1.fc39.x86_64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/cde0670d853644d614d0fe8d07f97d32e7790c
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/fc87ec8de8d853a57a823122bad9317a006667
/usr/lib/.build-id/21
/usr/lib/.build-id/21/e09aee83c05132dd300df94ac3448a83f8dfd0
/usr/lib/.build-id/23
/usr/lib/.build-id/23/385781b8512d1872b221a91654aaf24de0222a
/usr/lib/.build-id/46
/usr/lib/.build-id/46/08f68d9a1cbda1ab7aa81bad4c6bc513764602
/usr/lib/.build-id/47
/usr/lib/.build-id/47/8eea014cd6442e2a9cea6513ca2f462635473f
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/2fc2c73f356415362718c27d049706e722b2eb
/usr/lib/.build-id/7c
/usr/lib/.build-id/7c/4aba67b2561168521fc3f0c8537ed8fae134e4
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/cace9a7197459026307ed1e4f80a4e3c777f27
/usr/lib/.build-id/87
/usr/lib/.build-id/87/9fc19834c5c733508be5b6fd525f0760a63038
/usr/lib/.build-id/89
/usr/lib/.build-id/89/e1532eecddf394bfe6bc4314f92b22e208238b
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/8afe0bdf5f7a711da49dfadcab259eb7ea63f5
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/e66b3e5389bb39b144bf5dd3061f6ee7461487
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/6037cf8f4df48d1419c7b0a6e8fd1a533aea9e
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/aeb4ab4b2116c7578c3a3c92246cbd486101c0
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/8991d2b6c749a18f36c5e620dcc81d94eba86d
/usr/lib/.build-id/de
/usr/lib/.build-id/de/139bd90022713634be3ade4a2625f3fba6d415
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/e96d4224d4923c67efed13ac04a66fdec51a26
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/37850318a3ea4385441af3187f13a6b976ac9c
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.14
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.14
/usr/lib64/libap_pplite.so.0
/usr/lib64/libap_pplite.so.0.9.14
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.14
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.14
/usr/lib64/libavoD.so.0
... and 34 more

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

تاریخ آخرین تغییر	جزئیات
2023-09-22	Version 0.9.14 Add patch to fix japron linkage Omit timestamps from generated documentation
2023-08-05	Fix failure to install (rhbz#2229356)
2023-08-03	Enable pplite support
2023-07-27	Update to 0.9.14-beta2 Enable csdp support
2023-07-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-12	OCaml 5.0 rebuild for Fedora 39
2023-07-10	Update to 0.9.14-beta1 for OCaml 5.0 support Drop upstreamed mpfr and custom-operations patches Enable glpk support Add patch to fix builds on bytecode-only architectures
2023-03-23	Fix reinsertion of -Werror=format-security (bz 2181282)
2023-01-24	Rebuild OCaml packages for F38
2023-01-18	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-06	Work around build failure with make 4.4 (rhbz#2150171)
2022-08-11	Convert License tag to SPDX
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