Information for file /usr/share/licenses/cbmc-utils/LICENSE
Name | /usr/share/licenses/cbmc-utils/LICENSE |
---|---|
Digest (sha256) | a55660d9060269ad1dcaeb88138678ce44d79b0aab023cfe8a15081516937ea0 |
Size | 1.62 KB |
Modification time | Wed, 09 Feb 2022 14:37:10 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
license |
RPM | cbmc-utils-5.50.0-2.fc37.riscv64.rpm |