Information for file /usr/bin/cbmc
| Name | /usr/bin/cbmc |
|---|---|
| Digest (sha256) | f1a85fc485c3ef0bf4b0d7f86ab0fc38162045eb07a029080b4cc68861846c48 |
| Size | 11.01 MB |
| Modification time | Mon, 17 Oct 2022 00:33:17 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cbmc-5.50.0-2.fc37.riscv64.rpm |
