Information for file /usr/bin/yices-sat
| Name | /usr/bin/yices-sat |
|---|---|
| Digest (sha256) | 6cf9f7144b48c60df9073d7f779b4f4d723bfa2353cc2ab181ba2ee8f74d8eef |
| Size | 46.54 KB |
| Modification time | Fri, 10 Aug 2018 10:21:18 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | yices-tools-2.6.0-2.fc29.riscv64.rpm |
