Fri, 29 Nov 2024 16:11:47 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-2.fc41.src.rpm