Tue, 26 Nov 2024 22:12:09 UTC | login

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

Name/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
Digest (sha256)c0dda304c687cfc99e3089361178cdb1e53194db9ab2060f7ef7d9988ce1ea3e
Size3.06 KB
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