| Type | DIST |
|---|---|
| File | z3-5.3.0.tar.gz |
| Size | 7787561 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 206b93d962ef9df8c0e13ad625b6ab70fc89bfcb45051d11fe9d1dc8801eb80ed784300b2d22e694d81615f10ca755f0c35fbf8542c4f852bc90a32f4bc8a955 |
| SHA512 | f641df0393d353f1f804c4e3f0a34e25462322729b75a4bfc6e8bc285ecc2c664fe7eae6a0c60a0ab190866aaf08811e17e0d93a63aafe4ad75fe5473a3d3c9e |