Mon, 03 Feb 2025 06:04:18 UTC | login

Information for file /usr/src/debug/chibi-scheme-0.10.0-2.fc38.riscv64/lib/chibi/optimize/profile.c

Name/usr/src/debug/chibi-scheme-0.10.0-2.fc38.riscv64/lib/chibi/optimize/profile.c
Digest (sha256)8bb8435a71069872f7adca8e77e15b6d3f48cecdfdd353b9c29ab39f595df2a1
Size828.00 B
Modification timeWed, 24 Jun 2020 13:50:10 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMchibi-scheme-debugsource-0.10.0-2.fc38.riscv64.rpm