| Name : csmock-plugin-cbmc
| |
| Version : 3.3.4
| Vendor : Fedora Project
|
| Release : 1.fc37
| Date : 2022-09-06 13:24:32
|
| Group : Unspecified
| Source RPM : csmock-3.3.4-1.fc37.src.rpm
|
| Size : 0.02 MB
| |
| Packager : Fedora Project
| |
| Summary : csmock plug-in providing the support for cbmc
|
Description :
This package contains the cbmc plug-in for csmock.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/37/76833/riscv64/Packages/c |
