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

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

Name/usr/src/debug/clingo-5.4.0-3.fc33.riscv64/clasp/clasp/cli/clasp_options.h
Digest (sha256)76a81a19cd840ef1db2de42373f0ef0bf1d0feca431969456414e5e8ee64c5c1
Size11.97 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