ID | 175549 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | cbmc-5.95.1-4.fc40 | ||||||||||||
Name | cbmc-utils | ||||||||||||
Version | 5.95.1 | ||||||||||||
Release | 4.fc40 | ||||||||||||
Epoch | |||||||||||||
Arch | riscv64 | ||||||||||||
Draft | False | ||||||||||||
Summary | Output conversion utilities for CBMC | ||||||||||||
Description | Output conversion utilities for CBMC (GCC like format). | ||||||||||||
Build Time | 2024-05-04 18:15:17 GMT | ||||||||||||
Size | 11.72 KB | ||||||||||||
d1360a34c473c344a4cf327ea119f67e | |||||||||||||
License | BSD-4-Clause | ||||||||||||
Buildroot | f40-build-139154-7360 | ||||||||||||
Provides |
|
||||||||||||
Obsoletes | No Obsoletes | ||||||||||||
Conflicts | No Conflicts | ||||||||||||
Requires |
|
||||||||||||
Recommends | No Recommends | ||||||||||||
Suggests | No Suggests | ||||||||||||
Supplements | No Supplements | ||||||||||||
Enhances | No Enhances | ||||||||||||
Files |
|
||||||||||||
Component of | No Buildroots |