Information for file /usr/bin/cprover
| Name | /usr/bin/cprover |
|---|---|
| Digest (sha256) | 12978e3f71413ced7194c97ebd604f0293991e5f3987e40adfe249605fffac9d |
| Size | 7.59 MB |
| Modification time | Fri, 09 Feb 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cbmc-5.95.1-4.fc40.riscv64.rpm |