معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug information for package z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything i686
نام بسته	z3-debuginfo
نام فایل بسته	z3-debuginfo-4.12.1-2.fc38.i686.rpm
نسخه بسته	4.12.1
انتشار بسته	2.fc38
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Tue 24 Jan 2023 12
هاست سازنده	buildvm-x86-16.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT
حجم دانلود	82M
حجم نصب	253.244M

This package provides debug information for package z3. Debug information is useful when developing applications that use this package or when debugging this package.

جایگزین ها

بسته	نسخه	معماری	مخزن
z3-debuginfo-4.12.1-2.fc38.aarch64.rpm	4.12.1	aarch64	Fedora Everything
z3-debuginfo-4.12.1-2.fc38.x86_64.rpm	4.12.1	x86_64	Fedora Everything
z3-debuginfo-4.12.2-1.fc38.aarch64.rpm	4.12.2	aarch64	Fedora Everything
z3-debuginfo-4.12.2-1.fc38.i686.rpm	4.12.2	i686	Fedora Everything
z3-debuginfo-4.12.2-1.fc38.x86_64.rpm	4.12.2	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 4ec2a2141eca9d7ac8f91764f2fe2fb8111138cd	debuginfo(build-id)
= 4.12.1-2.fc38	z3-debuginfo
= 4.12.1-2.fc38	z3-debuginfo(x86-32)

نحوه نصب

نصب پکیج rpm z3-debuginfo:

dnf install z3-debuginfo-4.12.1-2.fc38.i686.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/c2a2141eca9d7ac8f91764f2fe2fb8111138cd
/usr/lib/debug/.build-id/4e/c2a2141eca9d7ac8f91764f2fe2fb8111138cd.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.12.1-2.fc38.i386
/usr/lib/debug/usr
/usr/lib/debug/usr/bin

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

تاریخ آخرین تغییر	جزئیات
2023-01-24	Rebuild OCaml packages for F38
2023-01-21	Version 4.12.1
2023-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-17	Version 4.12.0 Drop upstreamed -data-race and -uninit patches
2023-01-08	Add -data-race patch to fix segfault (bz 2157972) Add -uninit patch to fix use of an uninitialized value
2022-12-14	Further clarify license of the doc subpackage (SPDX)
2022-09-04	Version 4.11.2
2022-08-19	Version 4.11.0 Clarify license of the doc subpackage
2022-08-08	Version 4.10.2
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-28	Do not support Java on i686 (rhbz#2104112) Use new OCaml macros
2022-06-20	Rebuilt for Python 3.11
2022-06-18	OCaml 4.14.0 rebuild
2022-06-13	Rebuilt for Python 3.11
2022-05-16	Version 4.8.17 Drop upstreamed -ambiguous-overload patch
2022-03-24	Add -ambiguous-overload patch to fix cppcheck build failure