Fri, 13 Dec 2024 21:34:29 UTC | login

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

Name/usr/src/debug/prooftree-0.13-5.fc29.riscv64/proof_window.ml
Digest (sha256)892a30d3826b7b991c49e8ceb80d52d565eac9005481de7deb1a5878502ce35d
Size52.89 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