Sat, 15 Jun 2024 17:43:57 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-4.fc38.riscv64.rpm