Information for file /usr/bin/goto-cc
| Name | /usr/bin/goto-cc |
|---|---|
| Digest (sha256) | 9db1041dc73f72cf8d3b17dd4cb27e9a52aaa19cd552389c573ae6801f196ccf |
| Size | 3.62 MB |
| Modification time | Wed, 10 Oct 2018 04:41:03 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cbmc-5.10-1.fc29.riscv64.rpm |
