Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM csmock-plugin-cbmc-3.5.3-1.oc9.noarch.rpm

ID	265751
Build	csmock-3.5.3-1.oc9
Name	csmock-plugin-cbmc
Version	3.5.3
Release	1.oc9
Epoch
Arch	noarch
Draft	False
Summary	csmock plug-in providing the support for cbmc
Description	This package contains the cbmc plug-in for csmock.
Build Time	2024-11-22 07:59:50 GMT
Size	11.93 KB
SIGMD5	2dab3d8e6992724eb812f47564f058e9
License	GPL-3.0-or-later
Buildroot	dist-oc9-epol-build-119451-70440
Provides	csmock-plugin-cbmc = 3.5.3-1.oc9
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	csexec csmock-common python(abi) = 3.11 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 3 of 3 Name Size /usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.opt-1.pyc 5.45 KB /usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.pyc 5.49 KB /usr/lib/python3.11/site-packages/csmock/plugins/cbmc.py 4.92 KB
Component of	No Buildroots