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