Wed, 19 Jun 2024 09:05:44 UTC | login

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

Name/usr/share/licenses/cbmc/LICENSE
Digest (sha256)858c0e744b9bab750f6b2801c6921db8c64076d90201977d6219666a75eba0f9
Size1.91 KB
Modification timeThu, 03 Feb 2022 16:59:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags license
RPMcbmc-5.50.0-4.fc38.riscv64.rpm