Mon, 11 Nov 2024 19:21:43 UTC | login

Information for file /usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmt

Name/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmt
Digest (sha256)a67d6968f275269da7971c73eab6b486ca6a101036d4f7e718b459c588abf25f
Size2.40 KB
Modification timeFri, 02 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-alt-ergo-lib-devel-2.3.3-17.fc40.riscv64.rpm