Information for file /usr/share/licenses/clingo/LICENSE.md
Name | /usr/share/licenses/clingo/LICENSE.md |
---|---|
Digest (sha256) | 8de01c48f0adf249cd631e7320fbf4f15b6f5c25ddb18cdf1410c95c9f0c445d |
Size | 1.05 KB |
Modification time | Mon, 07 Nov 2022 09:42:41 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
license |
RPM | clingo-5.6.2-8.fc40.riscv64.rpm |