Information for file z3-4.8.3.tar.gz
Name | z3-4.8.3.tar.gz |
---|---|
Digest (sha256) | 21620b68c373cdea0d3b2cf24020be4ecfb22eddc6629663f6e9ce31cfdc78de |
Size | 3.93 MB |
Modification time | Thu, 29 Nov 2018 01:49:17 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | z3-4.8.3-1.fc30.src.rpm |