ID | 1005310 |
Name | csmock-plugin-cbmc |
Version | 3.4.1 |
Release | 1.fc38 |
Epoch | |
Arch | noarch |
Summary |
Description |
Build Time | 2023-04-06 08:57:06 GMT |
Size | 13.68 KB |
| d28d8ca9d61c667d1194ba1a10f81bc3 |
License | GPL-3.0-or-later |
Provides |
csmock-plugin-cbmc = 3.4.1-1.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 |
|
Component of |
No Buildroots
|