Wed, 13 Nov 2024 14:39:33 UTC | login

Information for file /usr/src/debug/clingo-5.6.2-8.fc40.riscv64/clasp/clasp/clingo.h

Name/usr/src/debug/clingo-5.6.2-8.fc40.riscv64/clasp/clasp/clingo.h
Digest (sha256)4b6d7baf840ab23248ff6d56eacd16294b1da8604d9b578ad3e1e14691bf75fd
Size10.21 KB
Modification timeMon, 07 Nov 2022 09:42:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-debugsource-5.6.2-8.fc40.riscv64.rpm