Wed, 11 Dec 2024 22:52:41 UTC | login

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

Name/usr/lib64/ocaml/Z3/z3.cmx
Digest (sha256)c2711bb255ccc6913d40f4014d084478c25158034dedf412428f89743559c1b3
Size70.86 KB
Modification timeWed, 26 Oct 2022 17:01:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-z3-devel-4.11.2-1.fc37.riscv64.rpm