Thu, 12 Dec 2024 20:22:39 UTC | login

Information for file /usr/share/licenses/cbmc/LICENSE

Name/usr/share/licenses/cbmc/LICENSE
Digest (sha256)858c0e744b9bab750f6b2801c6921db8c64076d90201977d6219666a75eba0f9
Size1.91 KB
Modification timeThu, 04 Mar 2021 11:26:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags license
RPMcbmc-5.25.0-1.fc33.riscv64.rpm