Sat, 09 Nov 2024 16:13:41 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