/usr/bin/z3 | File Info | koji

Information for file /usr/bin/z3

Name	/usr/bin/z3
Digest (sha256)	236b363946cf28101504893eaadfe83663c3e7c1c4931691b6f101bf4dcc1b58
Size	24.67 MB
Modification time	Wed, 21 May 2025 00:00:00 UTC
User	root
Group	root
Mode	-rwxr-xr-x
Flags
RPM	z3-4.15.0-1.fc42.riscv64.rpm