Fri, 13 Dec 2024 19:59:35 UTC | login

Information for file /usr/include/clingo.hh

Name/usr/include/clingo.hh
Digest (sha256)3f9b671e23c696f8e1609a91f88576544b661ebccea3f02e26cae2b79bac9a78
Size161.46 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