| ID | 737899 |
| Name | cbmc-utils |
| Version | 5.17.0 |
| Release | 1.fc33 |
| Epoch | |
| Arch | riscv64 |
| Summary |
| Description |
| Build Time | 2020-11-28 15:51:06 GMT |
| Size | 10.72 KB |
| cd5ee97aed81906499186c667d2661c1 |
| License | BSD with advertising |
| Buildroot | f33-build-352569-60044 |
| Provides |
| cbmc-utils = 5.17.0-1.fc33 |
| cbmc-utils(riscv-64) = 5.17.0-1.fc33 |
|
| Obsoletes |
No Obsoletes
|
| Conflicts |
No Conflicts
|
| Requires |
| /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
|
