معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Numerical abstract domain library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	apron
نام فایل بسته	apron-0.9.14-1.fc39.src.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.2M
حجم نصب	1.172M

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.x86_64.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

نیازمندی

مقدار	نام
-	csdp-devel
-	doxygen-latex
-	flint-devel
-	gcc-c++
-	ghostscript-tools-dvipdf
-	glpk-devel
-	java-devel
-	javapackages-local
-	make
-	mpfr-devel
-	ocaml
-	ocaml-camlidl-devel
-	ocaml-findlib
-	ocaml-mlgmpidl-devel
-	ocaml-ocamldoc
-	perl-interpreter
-	ppl-devel
-	pplite-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.14-1.fc39	apron
= 0.9.14-1.fc39	apron-devel
= 0.9.14-1.fc39	ocaml-apron
= 0.9.14-1.fc39	ocaml-apron-devel
= 0.9.14-1.fc39	japron
= 0.9.14-1.fc39	apron-debuginfo
= 0.9.14-1.fc39	apron-debugsource

نحوه نصب

نصب پکیج rpm apron:

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

فایل ها

مسیرها
apron-0.9.14.tar.gz
apron-csdp.patch
apron-japron-link.patch
apron-ocaml-bytecode.patch
apron-weak.patch

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

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