Information for file /usr/bin/z3

Name/usr/bin/z3
Digest (sha256)ce1f479e07ae3575c96693095fa757de7afabc6b4f3891b12c5d6b0ed2a37dcc
Size24.77 MB
Modification timeWed, 25 Jun 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMz3-4.15.2-1.fc42.riscv64.rpm