| Type | DIST |
|---|---|
| File | lean-4.24.0.tar.gz |
| Size | 46435872 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 6e5b40006a48976419ab31beadd24f98fd589972cec45053d11890301d317ffcc79493befa77dceda6fbc5f9238457aa31a3bc26fe06d95840130ef9a58dc80d |
| SHA512 | a8f407bdf581833b8cdf386fb7a8b89c0c52578af601f9a715b1ea604badc235bdb66fad96ace7592fcf5831b3c62eca6a843c3acb7907360725f992a37363eb |