Fri, 13 Dec 2024 21:25:19 UTC | login

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

Name/usr/src/debug/prooftree-0.13-5.fc29.riscv64/proof_tree.ml
Digest (sha256)e6d3e64efe104c977419e5148461421ae4fc9d567fb6a5f88e8255a7f07754cf
Size34.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