Mon, 13 Jan 2025 08:51:36 UTC | login

Information for file /usr/src/debug/coq-8.20.0-1.fc42.riscv64/_build/default/checker/checker.ml

Name/usr/src/debug/coq-8.20.0-1.fc42.riscv64/_build/default/checker/checker.ml
Digest (sha256)c9f07d3702bb10d908a926a3f2827bd4ed2218a88ff362f35262f9de285c0fc1
Size14.98 KB
Modification timeThu, 09 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-r--r--r--
Flags
RPMcoq-debugsource-8.20.0-1.fc42.riscv64.rpm