معرفی شرکت ها


yices-tools-debuginfo-2.6.4-4.fc37.aarch64.rpm


Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Debug information for package yices-tools
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything aarch64
نام بسته yices-tools-debuginfo
نام فایل بسته yices-tools-debuginfo-2.6.4-4.fc37.aarch64.rpm
نسخه بسته 2.6.4
انتشار بسته 4.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 23 Jul 2022 06
هاست سازنده buildvm-a64-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز GPLv3+ and BSD
حجم دانلود 14M
حجم نصب 40.984M
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.x86_64.rpm 2.6.4 x86_64 Fedora Everything


نیازمندی

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


ارائه دهنده

مقدار نام
= 2bf254df1df7b2a0d0be62614672b03fd543e5b8 debuginfo(build-id)
= 4f304962e32b4641c1489f2be5971031ed4e7625 debuginfo(build-id)
= bb202a78eda2486a84ae26f3f2dc745fc66f7b09 debuginfo(build-id)
= c48b8086ee5f03109f4e3d253853455d12e848dd debuginfo(build-id)
= 2.6.4-4.fc37 yices-tools-debuginfo
= 2.6.4-4.fc37 yices-tools-debuginfo(aarch-64)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/f254df1df7b2a0d0be62614672b03fd543e5b8
/usr/lib/debug/.build-id/2b/f254df1df7b2a0d0be62614672b03fd543e5b8.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/304962e32b4641c1489f2be5971031ed4e7625
/usr/lib/debug/.build-id/4f/304962e32b4641c1489f2be5971031ed4e7625.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/202a78eda2486a84ae26f3f2dc745fc66f7b09
/usr/lib/debug/.build-id/bb/202a78eda2486a84ae26f3f2dc745fc66f7b09.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/8b8086ee5f03109f4e3d253853455d12e848dd
/usr/lib/debug/.build-id/c4/8b8086ee5f03109f4e3d253853455d12e848dd.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/yices-2.6.4-4.fc37.aarch64.debug
/usr/lib/debug/usr/bin/yices-sat-2.6.4-4.fc37.aarch64.debug
/usr/lib/debug/usr/bin/yices-smt-2.6.4-4.fc37.aarch64.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