Fri, 08 Nov 2024 13:10:38 UTC | login

Information for file /usr/lib64/ocaml/coq-stdlib/dune-package

Name/usr/lib64/ocaml/coq-stdlib/dune-package
Digest (sha256)de0d4b0f1e2b463bff5055ba9c37f5506b455f623db15083a21545030aebad6d
Size91.23 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.18.0-10.fc41.riscv64.rpm