Sun, 15 Dec 2024 20:55:12 UTC | login

Information for file /usr/bin/cadical

Name/usr/bin/cadical
Digest (sha256)df379ff230a21bb0a455db56603814954b41e126dfce2d94d76bdbdf967a7a06
Size40.86 KB
Modification timeWed, 18 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcadical-1:1.5.3-2.fc38.riscv64.rpm