Sat, 23 Nov 2024 15:45:04 UTC | login

Information for file /usr/src/debug/prooftree-0.14-4.fc41.riscv64/proof_window.ml

Name/usr/src/debug/prooftree-0.14-4.fc41.riscv64/proof_window.ml
Digest (sha256)a2e969a8291d83400cdf117ec1638e21325deeb285f488c3de78310bd29d7354
Size52.78 KB
Modification timeFri, 23 Feb 2024 13:27:19 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMprooftree-debugsource-0.14-4.fc41.riscv64.rpm