Thu, 12 Dec 2024 13:42:48 UTC | login

Information for file z3-4.13.0.tar.gz

Namez3-4.13.0.tar.gz
Digest (sha256)01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
Size5.26 MB
Modification timeFri, 08 Mar 2024 20:34:43 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags
RPMz3-4.13.0-1.fc40.src.rpm