Information for file /usr/bin/yices-smt2
| Name | /usr/bin/yices-smt2 |
|---|---|
| Digest (sha256) | 111a8fb6a418e9e97e60ec1ae7db663ede5fcd4f77988a552a1a5ec5291e09f0 |
| Size | 1.97 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 |
