Information for file z3-no-sse.patch
| Name | z3-no-sse.patch |
|---|---|
| Digest (sha256) | 72f2e7c8eed15c579ccf13eb44ac8081c58f4e2109248b68f58aed0f7f46c9a9 |
| Size | 1.66 KB |
| Modification time | Thu, 29 Nov 2018 01:50:40 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | z3-4.8.3-1.fc30.src.rpm |
