Thu, 30 May 2024 19:01:20 UTC | login

Information for file /usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa

Name/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
Digest (sha256)a6f67ef9bb1ce1b72fd9bc4692f3a87af6619467f138299c2553e424848ee3e9
Size5.73 KB
Modification timeFri, 02 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-coqide-server-8.18.0-4.fc40.riscv64.rpm