معرفی شرکت ها

cbmc-debuginfo-5.50.0-4.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package cbmc
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته cbmc-debuginfo
نام فایل بسته cbmc-debuginfo-5.50.0-4.fc38.aarch64.rpm
نسخه بسته 5.50.0
انتشار بسته 4.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 16 Feb 2023 11
هاست سازنده buildhw-a64-20.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://www.cprover.org/cbmc
مجوز BSD-4-Clause
حجم دانلود 251M
حجم نصب 1.025G
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-4.fc38.x86_64.rpm 5.50.0 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 5.50.0-4.fc38 cbmc-debuginfo
= 5.50.0-4.fc38 cbmc-debuginfo(aarch-64)
= 110b7e14b843b827dc1b1e97906559fa39a736e9 debuginfo(build-id)
= 239801d698b1732b2744fb19db98a59009d9a826 debuginfo(build-id)
= 360d8a06eb8749166f8e53f611fcef08e98dfd4f debuginfo(build-id)
= 38128122da317808117828e94f5f2f7ef3b59850 debuginfo(build-id)
= 456ee2fce0cd403a713b331f9ad294dbab66f941 debuginfo(build-id)
= c304477cdded46ff5eb844f762c1e4e7d5e68044 debuginfo(build-id)
= d47cb73d36aae99dc5ce5234204c7f775a353737 debuginfo(build-id)
= f00beae45a1c5f09072847fae4540c3e2909f7d0 debuginfo(build-id)


نحوه نصب


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

    dnf install cbmc-debuginfo-5.50.0-4.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/0b7e14b843b827dc1b1e97906559fa39a736e9
/usr/lib/debug/.build-id/11/0b7e14b843b827dc1b1e97906559fa39a736e9.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/9801d698b1732b2744fb19db98a59009d9a826
/usr/lib/debug/.build-id/23/9801d698b1732b2744fb19db98a59009d9a826.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/0d8a06eb8749166f8e53f611fcef08e98dfd4f
/usr/lib/debug/.build-id/36/0d8a06eb8749166f8e53f611fcef08e98dfd4f.debug
/usr/lib/debug/.build-id/38
/usr/lib/debug/.build-id/38/128122da317808117828e94f5f2f7ef3b59850
/usr/lib/debug/.build-id/38/128122da317808117828e94f5f2f7ef3b59850.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/6ee2fce0cd403a713b331f9ad294dbab66f941
/usr/lib/debug/.build-id/45/6ee2fce0cd403a713b331f9ad294dbab66f941.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/04477cdded46ff5eb844f762c1e4e7d5e68044
/usr/lib/debug/.build-id/c3/04477cdded46ff5eb844f762c1e4e7d5e68044.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/7cb73d36aae99dc5ce5234204c7f775a353737
/usr/lib/debug/.build-id/d4/7cb73d36aae99dc5ce5234204c7f775a353737.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/0beae45a1c5f09072847fae4540c3e2909f7d0
/usr/lib/debug/.build-id/f0/0beae45a1c5f09072847fae4540c3e2909f7d0.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.50.0-4.fc38.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/crangler-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/goto-cc-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/goto-diff-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/goto-harness-5.50.0-4.fc38.aarch64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.50.0-4.fc38.aarch64.debug


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

تاریخ آخرین تغییر جزئیات
2023-01-29

Fix F38 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

2021-05-12

New upstream release

2021-03-10

Add Requires: clang

2021-03-10

Add csexec-cbmc.sh script
New upstream release

2021-02-23

Add goto-clang for a hybrid binary translation
New upstream release