Information for file z3-4.12.2.tar.gz
Name | z3-4.12.2.tar.gz |
---|---|
Digest (sha256) | 9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f |
Size | 5.15 MB |
Modification time | Sat, 13 May 2023 12:58:53 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | z3-4.12.2-7.fc40.src.rpm |