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

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

Name/usr/src/debug/clingo-5.6.2-8.fc40.riscv64/clasp/clasp/cli/clasp_app.h
Digest (sha256)5a08aa8fd678715d2ac97bf02ea7e08a29b78869977fb6d0442db7da5db7259b
Size9.87 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