Information for file /usr/lib64/libcadical.so.0.0.0
Name | /usr/lib64/libcadical.so.0.0.0 |
---|---|
Digest (sha256) | fb5a498bdf4fa5745b4a6ca80b63ad85c3786249ed9c6ddd7c13c1b572beec81 |
Size | 249.40 KB |
Modification time | Sat, 18 Aug 2018 01:59:19 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | cadical-libs-06w-2.fc29.riscv64.rpm |