| Type | DIST |
|---|---|
| File | z3-5.1.0.tar.gz |
| Size | 6689265 bytes |
| Type | Value |
|---|---|
| BLAKE2B | ff5c8bc0546fb79a66fd336480910103ce41aeb40d5846587a9a1f5247af506c50d3b8e178b224b329895f98f7299ea3de7fc306e6247a422ef6636580f6246e |
| SHA512 | 03a854f720a56484ab99b8a5517150f1c9106400f54ad758cfa58e3ee2f95e349396a64d4f527a5bb9ee37f10ad9ecfa1916d1f5c921f04089deda409374491b |