Wed, 11 Dec 2024 10:52:37 UTC | login

Information for file /usr/bin/csexec-cbmc

Name/usr/bin/csexec-cbmc
Digest (sha256)20de3de0ab345c2b32944d5de95275360f089ea65f1e01b001af4fed20f8a049
Size734.00 B
Modification timeWed, 10 Mar 2021 12:49:55 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcbmc-5.25.0-1.fc33.riscv64.rpm