Sat, 13 Jul 2024 16:48:51 UTC | login

Information for file /usr/lib64/ocaml/coq/user-contrib/Ltac2/Init.glob

Name/usr/lib64/ocaml/coq/user-contrib/Ltac2/Init.glob
Digest (sha256)0d4745a56c7a115a84c13ab91f842433b14d5c34d332da0c30a4eae404677bb6
Size52.00 B
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.17.1-8.fc40.riscv64.rpm