Thu, 05 Dec 2024 01:05:55 UTC | login

Information for file /usr/bin/z3

Name/usr/bin/z3
Digest (sha256)0330ca488e7ed984bb77836e274317d9f4c067d6a7ee4d950fa64413fdea8c50
Size23.24 MB
Modification timeSat, 20 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMz3-4.13.0-6.fc41.riscv64.rpm