Wed, 13 Nov 2024 03:25:36 UTC | login

Information for file /usr/share/doc/clingo/INSTALL.md

Name/usr/share/doc/clingo/INSTALL.md
Digest (sha256)76586f99dee7718691035110613e67ba8f8ca78fcf9bca8b794b1e5bd1a9683d
Size9.43 KB
Modification timeMon, 07 Nov 2022 09:42:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMclingo-5.6.2-11.fc41.riscv64.rpm