| Type | DIST |
|---|---|
| File | z3-5.0.0.tar.gz |
| Size | 6777317 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 1a35863beb2fc194d5641c4073017e2e9c5730faec10e3fcb1b394898c345008caeac248b5b283f4eaf3d9e5d8901a8b4cf672f528b9301fcc22df979a12a0a3 |
| SHA512 | c6bed41313a643f2bcad6d6cfda241af948d81326bb41a5a18575170f51c1f4f75afc9e01022df9a6122e71fc54ef813ad2ac9745e40da68c892be68b4777baf |