معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package pvs-sbcl

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	pvs-sbcl-debugsource
نام فایل بسته	pvs-sbcl-debugsource-7.1-8.fc37.x86_64.rpm
نسخه بسته	7.1
انتشار بسته	8.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Tue 02 Aug 2022 12
هاست سازنده	buildhw-x86-04.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://pvs.csl.sri.com/
مجوز	GPLv2+ and BSD and Public Domain
حجم دانلود	179K
حجم نصب	778.555K

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

ارائه دهنده

مقدار	نام
= 7.1-8.fc37	pvs-sbcl-debugsource
= 7.1-8.fc37	pvs-sbcl-debugsource(x86-64)

نحوه نصب

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

dnf install pvs-sbcl-debugsource-7.1-8.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/appl.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/appl.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_extern.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_factor.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_factor.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_fns.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_fns.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_quant.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_quant.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/src/bdd_vfns.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/alloc.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/alloc.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/double.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/double.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/general.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/hash.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/hash.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/list.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd/utils/list.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/bdd_interface.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/ix86_64-Linux
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/mu
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/mu/src
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/mu/src/mu.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/mu/src/mu.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/BDD/mu_interface.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/ix86_64-Linux
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_cache.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_double.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_dump.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_external.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_external.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_internal.h
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_manager.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/bdd_trace.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/hash.c
/usr/src/debug/pvs-sbcl-7.1-8.fc37.x86_64/src/WS1S/mona/BDD/hash.h
... and 20 more

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

تاریخ آخرین تغییر	جزئیات
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
2020-12-02	Version 7.1 Drop upstreamed -siglongjmp, -fno-common, -texi, and -user-guide patches Add -api patch to fix API doc build
2020-08-21	Update to latest git snapshot for bug fixes Drop upstreamed -language-manual and -language-manual-latex patches