معرفی شرکت ها
cbmc-doc-5.50.0-4.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | cbmc-doc |
| نام فایل بسته | cbmc-doc-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 |
| حجم دانلود | 33M |
| حجم نصب | 359.422M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| cbmc-doc-5.50.0-4.fc38.x86_64.rpm | 5.50.0 | x86_64 | Fedora Everything |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 5.50.0-4.fc38 | cbmc-doc |
| = 5.50.0-4.fc38 | cbmc-doc(aarch-64) |
نحوه نصب
نصب پکیج rpm cbmc-doc:
dnf install cbmc-doc-5.50.0-4.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/share/doc/cbmc-doc |
| /usr/share/doc/cbmc-doc/html |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__aggregate__object_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp.js |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8cpp_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__environment_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8cpp_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__event_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h.html |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h.js |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__dep__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.map |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.md5 |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h__incl.svg |
| /usr/share/doc/cbmc-doc/html/abstract__goto__model_8h_source.html |
| /usr/share/doc/cbmc-doc/html/abstract__object_8cpp.html |
| ... and 26655 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-29 |
Fix F38 FTBFS
|
| 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
|
| 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
|
| 2021-08-04 |
New upstream release
|
| 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
|
| 2021-02-23 |
Add goto-clang for a hybrid binary translation
|