Fri, 08 Nov 2024 11:25:52 UTC | login

Information for file /usr/lib64/ocaml/coqide/META

Name/usr/lib64/ocaml/coqide/META
Digest (sha256)e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
Size0.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-coqide-8.18.0-10.fc41.riscv64.rpm