ID | 1254687 |
Name | cbmc-utils |
Version | 5.95.1 |
Release | 4.fc40 |
Epoch | |
Arch | riscv64 |
Summary |
Description |
Build Time | 2024-03-20 07:58:38 GMT |
Size | 11.80 KB |
| 7d4c07259071f62a20e4c916a47a7c27 |
License | BSD-4-Clause |
Buildroot | f40-build-793306-138800 |
Provides |
cbmc-utils = 5.95.1-4.fc40 |
cbmc-utils(riscv-64) = 5.95.1-4.fc40 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
/usr/bin/bash |
/usr/bin/python3 |
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
|