Sat, 30 Nov 2024 06:21:54 UTC | login

Information for file /usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi

Name/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
Digest (sha256)21155b8f8b8141d1d6cf5222eb28ffde23ffdcfa63a425a2167bd3556d91ac89
Size502.00 B
Modification timeMon, 05 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-alt-ergo-lib-2.3.3-22.fc41.riscv64.rpm