| Type | DIST |
|---|---|
| File | z3-4.15.8.tar.gz |
| Size | 7930219 bytes |
| Type | Value |
|---|---|
| BLAKE2B | d556e1ccae66fdc980dcefc6acd23fcb36f45f3c93b9def45fe490d89e413c1ce6149fb1bd290ba31ace07b98c815160cf7293a2493f5259dbc21ebb1b228a18 |
| SHA512 | e31df90b0edb3fd4a49a1069d78135d03c6b196c2bc8359a67273e02eba7214a7ff8654488f076ce7a0cf6edffdff9afc403799db3a6e5a1585a6d4c99c4df2a |