Fri, 25 Oct 2024 12:02:13 UTC | login

Information for file /usr/lib64/ocaml/coq-core/clib/cSet.cmx

Name/usr/lib64/ocaml/coq-core/clib/cSet.cmx
Digest (sha256)838e0458d8a01ab1666b910f1ca60bfbb2ce7b9c22aefa7a3b06e1e9d6c959df
Size13.56 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