| Name | /usr/lib64/libcadical.so.0.0.0 |
|---|---|
| Digest (sha256) | dcfda18b1b503f5ab3bdcf2fa8b244c19c6509c88511116ea39860791f3390db |
| Size | 1.04 MB |
| Modification time | Thu, 01 May 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cadical-libs-1:2.1.3-1.fc42.riscv64.rpm |