Sat, 15 Mar 2025 16:29:43 UTC | login

Information for file /usr/src/debug/clingo-5.4.0-3.fc33.riscv64/clasp/clasp/mt/parallel_solve.h

Name/usr/src/debug/clingo-5.4.0-3.fc33.riscv64/clasp/clasp/mt/parallel_solve.h
Digest (sha256)5a548a6a4dfb5738c5d09c0158e4afea626660833fda8a950b78ab93e5e3bf27
Size14.50 KB
Modification timeSun, 25 Aug 2019 21:33:04 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-debugsource-5.4.0-3.fc33.riscv64.rpm