معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug information for package yices-tools

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	yices-tools-debuginfo
نام فایل بسته	yices-tools-debuginfo-2.6.4-4.fc37.x86_64.rpm
نسخه بسته	2.6.4
انتشار بسته	4.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sat 23 Jul 2022 06
هاست سازنده	buildvm-x86-06.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://yices.csl.sri.com/
مجوز	GPLv3+ and BSD
حجم دانلود	14M
حجم نصب	40.088M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
yices-tools-debuginfo-2.6.4-4.fc37.aarch64.rpm	2.6.4	aarch64	Fedora Everything

نیازمندی

مقدار	نام
= 2.6.4-4.fc37	yices-debuginfo(x86-64)

ارائه دهنده

مقدار	نام
= 44c835c48c940860f03d0a4a18bce95242a24055	debuginfo(build-id)
= 8749bfd4041b18a3e88cdeb08075953ba4a6f80d	debuginfo(build-id)
= b4779a8c70da48ffafa5ee9adaec910c4267a539	debuginfo(build-id)
= e325495be955765175ffe6bbb1b0ea5e3e16526d	debuginfo(build-id)
= 2.6.4-4.fc37	yices-tools-debuginfo
= 2.6.4-4.fc37	yices-tools-debuginfo(x86-64)

نحوه نصب

نصب پکیج rpm yices-tools-debuginfo:

dnf install yices-tools-debuginfo-2.6.4-4.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/c835c48c940860f03d0a4a18bce95242a24055
/usr/lib/debug/.build-id/44/c835c48c940860f03d0a4a18bce95242a24055.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/49bfd4041b18a3e88cdeb08075953ba4a6f80d
/usr/lib/debug/.build-id/87/49bfd4041b18a3e88cdeb08075953ba4a6f80d.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/779a8c70da48ffafa5ee9adaec910c4267a539
/usr/lib/debug/.build-id/b4/779a8c70da48ffafa5ee9adaec910c4267a539.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/25495be955765175ffe6bbb1b0ea5e3e16526d
/usr/lib/debug/.build-id/e3/25495be955765175ffe6bbb1b0ea5e3e16526d.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/yices-2.6.4-4.fc37.x86_64.debug
/usr/lib/debug/usr/bin/yices-sat-2.6.4-4.fc37.x86_64.debug
/usr/lib/debug/usr/bin/yices-smt-2.6.4-4.fc37.x86_64.debug

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

تاریخ آخرین تغییر	جزئیات
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2022-01-11	Build with kissat support
2021-10-25	Version 2.6.4 Drop upstreamed -big-endian and -sphinx3 patches Enable tests on 32-bit platforms
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-28	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-11-27	Rebuild for cryptominisat 5.8.0
2020-08-03	Rebuild for cadical 1.3.0
2020-07-29	Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild