Thu, 05 Dec 2024 00:18:02 UTC | login

Information for file /usr/lib64/ocaml/stublibs/dllz3ml.so

Name/usr/lib64/ocaml/stublibs/dllz3ml.so
Digest (sha256)5d96bb24229705cee40bb9fc87cb4a702f4f70ad5b9401cb532768c1f0060852
Size420.86 KB
Modification timeTue, 24 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMocaml-z3-4.12.1-2.fc38.riscv64.rpm