| Type | DIST |
|---|---|
| File | z3-4.15.4.tar.gz |
| Size | 6060031 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 9386aa55f21f8bb39bc6a2fa3cc84198f93fa2f2948f93466d93f34b6d92e1e96caa274bc49ee407e6dc6cabdf7f3cdce85d02e927f3a18af9bb5d6a1c7d23c7 |
| SHA512 | 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2 |