Name | /usr/bin/cadical |
---|---|
Digest (sha256) | 48133524603dda0317c21296aad95840fa16f3c52fb2895424d3dcd6b042195f |
Size | 35.69 KB |
Modification time | Thu, 01 May 2025 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | cadical-1:2.1.3-1.fc42.riscv64.rpm |