| Type | DIST |
|---|---|
| File | z3-4.16.0.tar.gz |
| Size | 6136396 bytes |
| Type | Value |
|---|---|
| BLAKE2B | bd67a71d762f420eb1f146070b32e90cd8539c58bc0bac8e6eee6baf03327b19806c0444bc52ef15f77c8f247464ac5a97e4a51635a6b3eb0540609c0d382b9d |
| SHA512 | 7dbcdd04a72f46bc3b6cbac2453b2a43f5ae126287b878ffe37f0573f910a1130c474c5edfa622dab09957f106cf425ab0f7cdfd34d41658599ad50a81ae39dd |