Mon, 02 Dec 2024 18:33:28 UTC | login

Information for file /usr/bin/z3

Name/usr/bin/z3
Digest (sha256)6c4dca9a8024c3ad531c05713ce7b7650977158640cfcacf170f3c32749256b0
Size281.01 KB
Modification timeSat, 12 Jan 2019 02:32:59 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMz3-4.8.4-1.fc30.riscv64.rpm