Wed, 11 Dec 2024 23:18:30 UTC | login

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

Name/usr/share/licenses/cbmc-utils/LICENSE
Digest (sha256)a55660d9060269ad1dcaeb88138678ce44d79b0aab023cfe8a15081516937ea0
Size1.62 KB
Modification timeWed, 09 Feb 2022 14:37:10 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags license
RPMcbmc-utils-5.50.0-2.fc37.riscv64.rpm