Information for file /usr/lib64/libyices.so.2.6.1
Name | /usr/lib64/libyices.so.2.6.1 |
---|---|
Digest (sha256) | 1ef5da9d10451136e6be971e7718403f3f3eaa44f446e2918dfa081573285684 |
Size | 2.32 MB |
Modification time | Tue, 04 Dec 2018 21:46:50 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | yices-2.6.1-1.fc30.riscv64.rpm |