Information for file /usr/lib64/libcadical.so.0.0.0
| Name | /usr/lib64/libcadical.so.0.0.0 |
|---|---|
| Digest (sha256) | ea3dbb1607657eb5940557b18277efd55d11037b6292ba143bbff69db0ebf28a |
| Size | 854.96 KB |
| Modification time | Sat, 16 Sep 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cadical-libs-1:1.7.4-1.fc40.riscv64.rpm |
