Information for file /usr/bin/goto-cc
| Name | /usr/bin/goto-cc |
|---|---|
| Digest (sha256) | bcfbfc9f0745e269ac5b70a8450a0d64a11e940e325637c0d252e8d869b4103b |
| Size | 4.20 MB |
| Modification time | Sat, 27 Jul 2019 22:33:27 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cbmc-5.11-2.fc31.riscv64.rpm |
