Thu, 03 Oct 2024 22:42:34 UTC | login

Information for file /usr/lib64/ocaml/coq-core/vernac/retrieveObl.cmi

Name/usr/lib64/ocaml/coq-core/vernac/retrieveObl.cmi
Digest (sha256)2340b8f7fd690044d826cc57533428fefecec756afaa833b8fd04b6b752bcb72
Size3.35 KB
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-core-8.17.1-8.fc40.riscv64.rpm