Information for file /usr/lib64/libyices.so.2.6.1
| Name | /usr/lib64/libyices.so.2.6.1 |
|---|---|
| Digest (sha256) | 7d5d6ee408e7f58cc3c519c25477390a2ada5fba955b4de0d3f44f4e2cde96bf |
| Size | 2.30 MB |
| Modification time | Mon, 26 Nov 2018 09:13:09 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | yices-2.6.1-1.fc29.riscv64.rpm |
