Thu, 13 Jun 2024 02:11:58 UTC | login

Information for file /usr/src/debug/coq-8.17.1-8.fc40.riscv64/_build/default/vernac/comDefinition.ml

Name/usr/src/debug/coq-8.17.1-8.fc40.riscv64/_build/default/vernac/comDefinition.ml
Digest (sha256)9604736e0133fdc315dcc30f343225059bac2802276230d297ea30356225c698
Size7.09 KB
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-r--r--r--
Flags
RPMcoq-debugsource-8.17.1-8.fc40.riscv64.rpm