Information for file /usr/bin/cadical
| Name | /usr/bin/cadical |
|---|---|
| Digest (sha256) | 70f946f5f1d4e1ff81921f8baecddf525d77c9391e7bf0a9cf41df30ff42f456 |
| Size | 39.86 KB |
| Modification time | Wed, 17 Jul 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cadical-1:2.0.0-3.fc41.riscv64.rpm |
