Information for file /usr/lib64/libz3.so.0.0.0
| Name | /usr/lib64/libz3.so.0.0.0 |
|---|---|
| Digest (sha256) | b77e6091c12a9851f0e84317ad06547c5e384f4c0f4ded19b16adf8d6e3dcdb2 |
| Size | 24.37 MB |
| Modification time | Fri, 07 Dec 2018 07:26:47 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | z3-libs-4.8.3-1.fc30.riscv64.rpm |
