Information for file /usr/bin/yices-sat
| Name | /usr/bin/yices-sat |
|---|---|
| Digest (sha256) | f2b0c7368fed9472c2c25edd58b61c1ecd04af2b2c0ea15c90d60036535c0311 |
| Size | 46.54 KB |
| Modification time | Mon, 26 Nov 2018 09:13:09 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | yices-tools-2.6.1-1.fc29.riscv64.rpm |
