Information for file /usr/bin/z3
| Name | /usr/bin/z3 |
|---|---|
| Digest (sha256) | bc625d7a5d0b968d7e64f0ebba377c570bae7674f637eefcb06ca983d192ff38 |
| Size | 280.84 KB |
| Modification time | Fri, 07 Dec 2018 07:26:35 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | z3-4.8.3-1.fc30.riscv64.rpm |
