fedora
This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for RPM csmock-plugin-cbmc-3.4.2-1.rvrebuild.fc38.noarch.rpm

ID215743
Buildcsmock-3.4.2-1.rvrebuild.fc38
Namecsmock-plugin-cbmc
Version3.4.2
Release1.rvrebuild.fc38
Epoch
Archnoarch
DraftFalse
Summarycsmock plug-in providing the support for cbmc
DescriptionThis package contains the cbmc plug-in for csmock.
Build Time2023-09-29 08:34:39 GMT
Size13.66 KB
dd9ee20e06f24957778c1234a564aa80
LicenseGPL-3.0-or-later
Buildrootf38-build-side-42-init-devel-1392466-30904
Provides
csmock-plugin-cbmc = 3.4.2-1.rvrebuild.fc38
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(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
/usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.opt-1.pyc5.45 KB
/usr/lib/python3.11/site-packages/csmock/plugins/__pycache__/cbmc.cpython-311.pyc5.49 KB
/usr/lib/python3.11/site-packages/csmock/plugins/cbmc.py4.92 KB
Component of No Buildroots