معرفی شرکت ها
cbmc-utils-5.50.0-2.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 37 |
مخزن | Fedora Everything aarch64 |
نام بسته | cbmc-utils |
نام فایل بسته | cbmc-utils-5.50.0-2.fc37.aarch64.rpm |
نسخه بسته | 5.50.0 |
انتشار بسته | 2.fc37 |
معماری بسته | aarch64 |
نگهدارنده | - |
تاریخ ساخت | Thu 21 Jul 2022 03 |
هاست سازنده | buildvm-a64-12.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | http://www.cprover.org/cbmc/ |
مجوز | BSD with advertising |
حجم دانلود | 13K |
حجم نصب | 9.137K |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
cbmc-utils-5.50.0-2.fc37.x86_64.rpm | 5.50.0 | x86_64 | Fedora Everything |
نیازمندی
مقدار | نام |
---|---|
- | /usr/bin/bash |
- | /usr/bin/python3 |
ارائه دهنده
مقدار | نام |
---|---|
= 5.50.0-2.fc37 | cbmc-utils |
= 5.50.0-2.fc37 | cbmc-utils(aarch-64) |
نحوه نصب
نصب پکیج rpm cbmc-utils:
dnf install cbmc-utils-5.50.0-2.fc37.aarch64.rpm
فایل ها
مسیرها |
---|
/usr/bin/cbmc-convert-output |
/usr/bin/csexec-cbmc |
/usr/share/licenses/cbmc-utils |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
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
|
2021-01-26 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
2020-11-02 |
New upstream release
|
2020-10-08 |
New upstream release
|
2020-09-30 |
New upstream release
|
2020-09-29 |
New upstream release
|