Fri, 13 Dec 2024 11:41:06 UTC | login

Information for file /usr/src/debug/coq-8.18.0-10.fc41.riscv64/_build/default/checker/values.ml

Name/usr/src/debug/coq-8.18.0-10.fc41.riscv64/_build/default/checker/values.ml
Digest (sha256)be69c29ca1295054ddc6948be638e9913aa15e38454fc6f2e46ba5a8c23d6b5b
Size12.34 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-r--r--r--
Flags
RPMcoq-debugsource-8.18.0-10.fc41.riscv64.rpm