معرفی شرکت ها

yices-tools-debuginfo-2.6.4-7.fc39.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 39
مخزن Fedora Everything aarch64
نام بسته yices-tools-debuginfo
نام فایل بسته yices-tools-debuginfo-2.6.4-7.fc39.aarch64.rpm
نسخه بسته 2.6.4
انتشار بسته 7.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 22 Jul 2023 11
هاست سازنده buildvm-a64-40.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز GPL-3.0-or-later and BSD-3-Clause
حجم دانلود 14M
حجم نصب 42.104M
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-7.fc39.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-tools-debuginfo-2.6.4-8.fc39.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-debuginfo-2.6.4-8.fc39.x86_64.rpm 2.6.4 x86_64 Fedora Everything


نیازمندی

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


ارائه دهنده

مقدار نام
= 4d3908f7ae16880eb299a395a8b750f9cb033be8 debuginfo(build-id)
= 528f5b21a3bf5aeda1e2098b8d2158832ec4db20 debuginfo(build-id)
= 824c2163d01bc85c4eb14f916d92103aac647b6f debuginfo(build-id)
= cadc408b3661cfacd8fc7ab480d25af09de6a9eb debuginfo(build-id)
= 2.6.4-7.fc39 yices-tools-debuginfo
= 2.6.4-7.fc39 yices-tools-debuginfo(aarch-64)


نحوه نصب


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

    dnf install yices-tools-debuginfo-2.6.4-7.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/3908f7ae16880eb299a395a8b750f9cb033be8
/usr/lib/debug/.build-id/4d/3908f7ae16880eb299a395a8b750f9cb033be8.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/8f5b21a3bf5aeda1e2098b8d2158832ec4db20
/usr/lib/debug/.build-id/52/8f5b21a3bf5aeda1e2098b8d2158832ec4db20.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/4c2163d01bc85c4eb14f916d92103aac647b6f
/usr/lib/debug/.build-id/82/4c2163d01bc85c4eb14f916d92103aac647b6f.debug
/usr/lib/debug/.build-id/ca
/usr/lib/debug/.build-id/ca/dc408b3661cfacd8fc7ab480d25af09de6a9eb
/usr/lib/debug/.build-id/ca/dc408b3661cfacd8fc7ab480d25af09de6a9eb.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/yices-2.6.4-7.fc39.aarch64.debug
/usr/lib/debug/usr/bin/yices-sat-2.6.4-7.fc39.aarch64.debug
/usr/lib/debug/usr/bin/yices-smt-2.6.4-7.fc39.aarch64.debug


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

تاریخ آخرین تغییر جزئیات
2023-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

2023-01-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-28

Regenerate the cudd configure script to fix FTBFS
Convert License tag to SPDX

2022-11-28

Get rid of an implicit int function declaration in a configure check

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