معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Numerical abstract domain library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything i686
نام بسته	apron
نام فایل بسته	apron-0.9.13-17.fc38.src.rpm
نسخه بسته	0.9.13
انتشار بسته	17.fc38
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Thu 23 Mar 2023 07
هاست سازنده	buildvm-x86-04.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
حجم دانلود	992K
حجم نصب	988.440K

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-17.fc38.aarch64.rpm	0.9.13	aarch64	Fedora Everything
apron-0.9.13-17.fc38.i686.rpm	0.9.13	i686	Fedora Everything
apron-0.9.13-17.fc38.x86_64.rpm	0.9.13	x86_64	Fedora Everything
apron-debuginfo-0.9.13-17.fc38.aarch64.rpm	0.9.13	aarch64	Fedora Everything
apron-debuginfo-0.9.13-17.fc38.i686.rpm	0.9.13	i686	Fedora Everything
apron-debuginfo-0.9.13-17.fc38.x86_64.rpm	0.9.13	x86_64	Fedora Everything
apron-debugsource-0.9.13-17.fc38.aarch64.rpm	0.9.13	aarch64	Fedora Everything
apron-debugsource-0.9.13-17.fc38.i686.rpm	0.9.13	i686	Fedora Everything
apron-debugsource-0.9.13-17.fc38.x86_64.rpm	0.9.13	x86_64	Fedora Everything
apron-devel-0.9.13-17.fc38.aarch64.rpm	0.9.13	aarch64	Fedora Everything
apron-devel-0.9.13-17.fc38.i686.rpm	0.9.13	i686	Fedora Everything
apron-devel-0.9.13-17.fc38.x86_64.rpm	0.9.13	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	doxygen-latex
-	gcc-c++
-	ghostscript-tools-dvipdf
-	make
-	mpfr-devel
-	ocaml
-	ocaml-camlidl-devel
-	ocaml-findlib
-	ocaml-mlgmpidl-devel
-	ocaml-ocamldoc
-	perl-interpreter
-	ppl-devel
-	tex(adjustbox.sty)
-	tex(etoc.sty)
-	tex(fullpage.sty)
-	tex(hanging.sty)
-	tex(listofitems.sty)
-	tex(newunicodechar.sty)
-	tex(stackengine.sty)
-	tex(tabu.sty)
-	tex(ulem.sty)
-	texinfo-tex

ارائه دهنده

مقدار	نام
= 0.9.13-17.fc38	apron
= 0.9.13-17.fc38	apron-devel
= 0.9.13-17.fc38	ocaml-apron
= 0.9.13-17.fc38	ocaml-apron-devel
= 0.9.13-17.fc38	apron-debuginfo
= 0.9.13-17.fc38	apron-debugsource

نحوه نصب

نصب پکیج rpm apron:

dnf install apron-0.9.13-17.fc38.src.rpm

فایل ها

مسیرها
apron-0.9.13.tar.gz
apron-custom-operations.patch
apron-mpfr4.patch
apron-weak.patch

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

تاریخ آخرین تغییر	جزئیات
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
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