| Type | DIST |
|---|---|
| File | lean-ctx-3.6.5.tar.gz |
| Size | 3645546 bytes |
| Type | Value |
|---|---|
| BLAKE2B | e4884c2d5343ada5e5a3a4d2e481f39d96f289beba1379b88fb3c549fdce60c92ec96c9f86b48c7dd658f5659aa1a9ad141a83f8a1619787e5720a1fb27e1f1d |
| SHA512 | 84ae54d1f075dd389d73821884e1b5bd92a1dc84cc5c4edf333b190e6eccf5226e04db9c79bd31b143b968248384753132c95f21548250bf60e9435b3342826d |