معرفی شرکت ها


csmock-plugin-cbmc-3.3.4-1.fc37.noarch.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

csmock plug-in providing the support for cbmc
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything noarch
نام بسته csmock-plugin-cbmc
نام فایل بسته csmock-plugin-cbmc-3.3.4-1.fc37.noarch.rpm
نسخه بسته 3.3.4
انتشار بسته 1.fc37
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Tue 06 Sep 2022 03
هاست سازنده buildvm-s390x-25.s390.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/csutils/csmock
مجوز GPLv3+
حجم دانلود 14K
حجم نصب 15.867K
This package contains the cbmc plug-in for csmock.


جایگزین ها

بسته نسخه معماری مخزن
csmock-plugin-cbmc-3.4.1-1.fc37.noarch.rpm 3.4.1 noarch Fedora Everything
csmock-plugin-cbmc-3.5.0-1.fc37.noarch.rpm 3.5.0 noarch Fedora Everything


نیازمندی

مقدار نام
- csexec
- csmock-common(python3)
= 3.11 python(abi)


ارائه دهنده

مقدار نام
= 3.3.4-1.fc37 csmock-plugin-cbmc


نحوه نصب


نصب پکیج rpm csmock-plugin-cbmc:

    dnf install csmock-plugin-cbmc-3.3.4-1.fc37.noarch.rpm


فایل ها

مسیرها
/usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.opt-1.pyc
/usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.pyc


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

تاریخ آخرین تغییر جزئیات
2022-09-06

update to latest upstream release

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-21

update to latest upstream release

2022-06-13

Rebuilt for Python 3.11

2022-05-09

update to latest upstream release

2022-03-15

verify GPG signature of upstream tarball when building the package

2022-03-15

update to latest upstream release

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-16

update to latest upstream release

2021-11-30

update to latest upstream release

2021-11-11

update to latest upstream release

2021-10-04

update to latest upstream release

2021-08-31

update to latest upstream release

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-06-04

Rebuilt for Python 3.10

2021-05-21

update to latest upstream release