| Type | DIST |
|---|---|
| File | z3-5.3.1.tar.gz |
| Size | 7868592 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 38432b44eb38b200d0564eab3c683ede7579a6a156bbe46ae9c18cbc220f163dbc626dd141d28e61857737fee15a234cefc5d73708f1555657b2b16d2b7b010f |
| SHA512 | 6c2c3fbefa6890f25c21a6830b56cc6e28591a21e7fb22b31ff88b7559c082afbe903614869822088466152db4b26e1faeb57206bd95b1aa1a921873ad1615a2 |