Information for file /usr/bin/cadical
| Name | /usr/bin/cadical |
|---|---|
| Digest (sha256) | 9b4623a15d6b6c6f10ff099c85421f3e5467802d0871241bbb0336d9a73428a9 |
| Size | 17.49 KB |
| Modification time | Sat, 18 Aug 2018 01:59:19 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cadical-06w-2.fc29.riscv64.rpm |
