| Type | DIST |
|---|---|
| File | lean-1.155.tar.gz |
| Size | 196943 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 1a749c1385472c9d2c05167a4615826585c83dec7dde3a3a6573d8bc95145772d24536e2e5273a8ee7a331a8ccf997a0b37e94038e3ec8b54056332a17048bdc |
| SHA512 | 472b707cf5053b5e56a834798d440042c41c0f5fc98a24de46c5a667724875efeb0ee6a7df6a5adafedfce7e551904386e67592e81bfc9805776f1db0f0da5dd |