| Type | DIST |
|---|---|
| File | z3-5.3.2.tar.gz |
| Size | 10848641 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 13a8b4c7faa6e97eedac5382e34ab60860c97f98a6e009d893a319ed4bbd7f794fca226486b9ab66fbce4f430e53e26c3cbc3a9e675eafe85e4e0c8e6d37ed97 |
| SHA512 | 487514074043de82f9493ca5323880281c51a70d1141af32efd36f4924b6b6a7816824d6bee36128a266bbf58a91eb034894abaad0ab4a7f7955f267fdbd6447 |