Information for file /usr/lib64/libcadical.so.0.0.0
Name | /usr/lib64/libcadical.so.0.0.0 |
---|---|
Digest (sha256) | 544ff5a1cdb81ae04ebff903ec6554210056f88c84ec2315449d38d4f087be3c |
Size | 572.30 KB |
Modification time | Sat, 15 Aug 2020 13:08:46 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | cadical-libs-1:1.3.0-1.fc33.riscv64.rpm |