Mon, 02 Dec 2024 07:17:27 UTC | login

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

Name/usr/lib64/ocaml/coqide-server/protocol/richpp.cmt
Digest (sha256)39c31c191dae91cfd882f2967c1d48f519c4e657eb2eb16d85c421507d757eb4
Size24.11 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-coqide-server-8.18.0-10.fc41.riscv64.rpm