Wed, 27 Nov 2024 03:18:50 UTC | login

Information for file /usr/src/debug/picosat-965-15.fc37.riscv64/main.c

Name/usr/src/debug/picosat-965-15.fc37.riscv64/main.c
Digest (sha256)5d7709df1ae9534ecc067b056ed0c94bd2118e077bc3015e0839e7b398119100
Size107.00 B
Modification timeWed, 13 Jan 2016 07:19:13 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMpicosat-debugsource-965-15.fc37.riscv64.rpm