معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug information for package cbmc

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	cbmc-debuginfo
نام فایل بسته	cbmc-debuginfo-5.50.0-6.fc39.x86_64.rpm
نسخه بسته	5.50.0
انتشار بسته	6.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 21 Jul 2023 01
هاست سازنده	buildvm-x86-24.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.cprover.org/cbmc
مجوز	BSD-4-Clause
حجم دانلود	263M
حجم نصب	1.123G

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

جایگزین ها

بسته	نسخه	معماری	مخزن
cbmc-debuginfo-5.50.0-6.fc39.aarch64.rpm	5.50.0	aarch64	Fedora Everything

ارائه دهنده

مقدار	نام
= 5.50.0-6.fc39	cbmc-debuginfo
= 5.50.0-6.fc39	cbmc-debuginfo(x86-64)
= 14805c213743de8f76e14966677c2218bae4cff0	debuginfo(build-id)
= 5bf9c39cac0cac253a3b75d8386f3cb8bc6c3da3	debuginfo(build-id)
= 6353a53ebcbeddeea2beb42e1985e49a531cb999	debuginfo(build-id)
= 707046cb609308cffead6fa7395f6b9e5b6a0092	debuginfo(build-id)
= 95f2fb9d0b52ac030bbac75184223b83d1047e4f	debuginfo(build-id)
= b1708d3ba69da6643e52833207fb97e5c559a8ee	debuginfo(build-id)
= fb2137a0dc38fa3f32ff5291033d0d7f035b8fb6	debuginfo(build-id)
= fde277e83e8dc8881e1487139f839ded4de4ff82	debuginfo(build-id)

نحوه نصب

نصب پکیج rpm cbmc-debuginfo:

dnf install cbmc-debuginfo-5.50.0-6.fc39.x86_64.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/805c213743de8f76e14966677c2218bae4cff0
/usr/lib/debug/.build-id/14/805c213743de8f76e14966677c2218bae4cff0.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/f9c39cac0cac253a3b75d8386f3cb8bc6c3da3
/usr/lib/debug/.build-id/5b/f9c39cac0cac253a3b75d8386f3cb8bc6c3da3.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/53a53ebcbeddeea2beb42e1985e49a531cb999
/usr/lib/debug/.build-id/63/53a53ebcbeddeea2beb42e1985e49a531cb999.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/7046cb609308cffead6fa7395f6b9e5b6a0092
/usr/lib/debug/.build-id/70/7046cb609308cffead6fa7395f6b9e5b6a0092.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/f2fb9d0b52ac030bbac75184223b83d1047e4f
/usr/lib/debug/.build-id/95/f2fb9d0b52ac030bbac75184223b83d1047e4f.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/708d3ba69da6643e52833207fb97e5c559a8ee
/usr/lib/debug/.build-id/b1/708d3ba69da6643e52833207fb97e5c559a8ee.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/2137a0dc38fa3f32ff5291033d0d7f035b8fb6
/usr/lib/debug/.build-id/fb/2137a0dc38fa3f32ff5291033d0d7f035b8fb6.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/e277e83e8dc8881e1487139f839ded4de4ff82
/usr/lib/debug/.build-id/fd/e277e83e8dc8881e1487139f839ded4de4ff82.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.50.0-6.fc39.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.50.0-6.fc39.x86_64.debug

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

تاریخ آخرین تغییر	جزئیات
2023-07-21	Exclude installation of test dependencies on non-x86_64 architectures
2023-07-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-01-29	Fix rawhide FTBFS Use SPDX license format Modernize the spec a bit
2023-01-18	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-02-09	New upstream release of cbmc and also cbmc-utils Add "--add-cmd-line-arg" option for goto-instrument
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-09-15	New upstream release of cbmc and also cbmc-utils
2021-08-23	New upstream release fix broken indentation in a patch
2021-08-04	New upstream release Use plain doxygen to cut-down some build dependencies
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild