Fri, 29 Nov 2024 15:07:41 UTC | login

Information for file /usr/lib64/ocaml/Z3/z3enums.cmx

Name/usr/lib64/ocaml/Z3/z3enums.cmx
Digest (sha256)61f6351f5bf8da0468493c801d149ea2345702debe52f148c013acea69f4fa0b
Size38.07 KB
Modification timeWed, 29 May 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-z3-devel-4.13.0-2.fc41.riscv64.rpm