Information for file /usr/share/doc/clingo/INSTALL.md
Name | /usr/share/doc/clingo/INSTALL.md |
---|---|
Digest (sha256) | 76586f99dee7718691035110613e67ba8f8ca78fcf9bca8b794b1e5bd1a9683d |
Size | 9.43 KB |
Modification time | Mon, 07 Nov 2022 09:42:41 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | clingo-5.6.2-11.fc41.riscv64.rpm |