Fri, 13 Dec 2024 21:59:23 UTC | login

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

Name/usr/src/debug/prooftree-0.13-5.fc29.riscv64/configuration.ml
Digest (sha256)fc0f4c11a7ba24921b3154e707a0d998edccef7e935252252f010be2d88f3570
Size63.48 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