Fri, 13 Dec 2024 20:15:53 UTC | login

Information for file /usr/include/clingo.h

Name/usr/include/clingo.h
Digest (sha256)125c49ac2dd7c9a5ca844b26fa44ec65268315f264db41c0e751ea0148742987
Size178.98 KB
Modification timeMon, 07 Nov 2022 09:42:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-devel-5.6.2-8.fc40.riscv64.rpm