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.rvre0.fc40.src.rpm |
