Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Information for file
/usr/bin/z3
Name
/usr/bin/z3
Digest (sha256)
ce1f479e07ae3575c96693095fa757de7afabc6b4f3891b12c5d6b0ed2a37dcc
Size
24.77 MB
Modification time
Wed, 25 Jun 2025 00:00:00 UTC
User
root
Group
root
Mode
-rwxr-xr-x
Flags
RPM
z3-4.15.2-1.fc42.riscv64.rpm