معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug information for package pvs-sbcl

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	pvs-sbcl-debuginfo
نام فایل بسته	pvs-sbcl-debuginfo-7.1-9.fc38.x86_64.rpm
نسخه بسته	7.1
انتشار بسته	9.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 20 Jan 2023 02
هاست سازنده	buildhw-x86-05.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://pvs.csl.sri.com/
مجوز	GPL-2.0-or-later AND GPL-3.0-or-later AND MIT AND LicenseRef-Fedora-Public-Domain AND Knuth-CTAN
حجم دانلود	285K
حجم نصب	789.181K

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

ارائه دهنده

مقدار	نام
= 6b47bf83d9637323f29b9211a2d21081c93bea3f	debuginfo(build-id)
= 6f953469b250bc9c3c52c81a5072bc7798553ec7	debuginfo(build-id)
= ce9d978485874764cbff97ee4ea90d480649e5f1	debuginfo(build-id)
= 7.1-9.fc38	pvs-sbcl-debuginfo
= 7.1-9.fc38	pvs-sbcl-debuginfo(x86-64)

نحوه نصب

نصب پکیج rpm pvs-sbcl-debuginfo:

dnf install pvs-sbcl-debuginfo-7.1-9.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/47bf83d9637323f29b9211a2d21081c93bea3f
/usr/lib/debug/.build-id/6b/47bf83d9637323f29b9211a2d21081c93bea3f.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/953469b250bc9c3c52c81a5072bc7798553ec7
/usr/lib/debug/.build-id/6f/953469b250bc9c3c52c81a5072bc7798553ec7.debug
/usr/lib/debug/.build-id/ce
/usr/lib/debug/.build-id/ce/9d978485874764cbff97ee4ea90d480649e5f1
/usr/lib/debug/.build-id/ce/9d978485874764cbff97ee4ea90d480649e5f1.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/pvs-sbcl-7.1-9.fc38.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/pvs
/usr/lib/debug/usr/lib64/pvs/bin
/usr/lib/debug/usr/lib64/pvs/bin/ix86_64-Linux
/usr/lib/debug/usr/lib64/pvs/bin/ix86_64-Linux/b64-7.1-9.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/pvs/bin/ix86_64-Linux/runtime
/usr/lib/debug/usr/lib64/pvs/bin/ix86_64-Linux/runtime/mu.so-7.1-9.fc38.x86_64.debug

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

تاریخ آخرین تغییر	جزئیات
2023-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-17	Convert License tag to SPDX
2022-08-01	Add -emacs patch for Emacs 28 compatibility Limit builds to x86_64
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-26	Rebuild to fix sbcl dependency
2022-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-06-03	Add -language patch to work around possible TeXLive 2021 bug BR ghostscript instead of ghostscript-core
2021-02-04	Rebuild to fix sbcl dependency Add MIME type for pvs source files
2021-01-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild