Thu, 12 Dec 2024 21:09:01 UTC | login

Information for file /usr/share/man/man1/cbmc.1.gz

Name/usr/share/man/man1/cbmc.1.gz
Digest (sha256)0d9c64c6bb48361fe59f5530f1310926aa0b7f20b64045aeb4e0e1ef5bf1de6b
Size2.75 KB
Modification timeThu, 03 Feb 2022 16:59:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcbmc-5.50.0-2.fc37.riscv64.rpm