| ID | 29790986 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Name | csmock-plugin-cbmc | ||||||||
| Version | 3.3.1 | ||||||||
| Release | 1.fc34 | ||||||||
| Epoch | |||||||||
| Arch | noarch | ||||||||
| Summary | csmock plug-in providing the support for cbmc | ||||||||
| Description | This package contains the cbmc plug-in for csmock. | ||||||||
| Build Time | 2022-03-15 08:36:02 GMT | ||||||||
| Size | 12.63 KB | ||||||||
| 8baf3ab93d88dd7b7d2178d11f083272 | |||||||||
| License | GPLv3+ | ||||||||
| Buildroot | f34-build-33823086-4527713 | ||||||||
| 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 |
