Fri, 13 Dec 2024 21:52:11 UTC | login

Information for file /usr/src/debug/prooftree-0.13-5.fc29.riscv64/help_window.ml

Name/usr/src/debug/prooftree-0.13-5.fc29.riscv64/help_window.ml
Digest (sha256)546b6fa6dc77c5e1a9a55774f58144e62900405cf40ce8f71197530c693fe67a
Size13.27 KB
Modification timeTue, 03 Jan 2017 10:35:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMprooftree-debugsource-0.13-5.fc29.riscv64.rpm