Fri, 08 Nov 2024 20:33:20 UTC | login

Information for file /usr/src/debug/clingo-5.6.2-10.fc41.riscv64/clasp/clasp/clause.h

Name/usr/src/debug/clingo-5.6.2-10.fc41.riscv64/clasp/clasp/clause.h
Digest (sha256)a23959972e8bcc9ae71d50e907330245d1731faa4904662a84c5eed452676e58
Size22.45 KB
Modification timeMon, 07 Nov 2022 09:42:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-debugsource-5.6.2-10.fc41.riscv64.rpm