Fri, 08 Nov 2024 21:38:22 UTC | login

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

Name/usr/src/debug/clingo-5.6.2-10.fc41.riscv64/clasp/clasp/constraint.h
Digest (sha256)1b3271e284b7df38f2b83c70b7cb1eb798727ec369cc3cb17565b0059b1edc81
Size21.52 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