Tue, 17 Dec 2024 01:29:57 UTC | login

Information for file /usr/src/debug/drat-trim-0-0.17.20220423git43fce1c.fc37.riscv64/drat-trim-main.c

Name/usr/src/debug/drat-trim-0-0.17.20220423git43fce1c.fc37.riscv64/drat-trim-main.c
Digest (sha256)cc2a49630100dc7e1a4a943be16a8c1b543c19a841c5f73d72f4630feb3b36c7
Size114.00 B
Modification timeFri, 11 Nov 2022 18:31:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMdrat-trim-debugsource-0-0.17.20220423git43fce1c.fc37.riscv64.rpm