DIST lean-4.14.0.tar.gz 28508743 BLAKE2B 692972402726a77ca9255edbecfc2bd30033d5c7137b00e85821d5bb74f7ed77398b19e7e3098eeecf6812ad9ca568a4076b11a91456b84f4ad78be8f6441286 SHA512 871169b3d7951934990a86a2b5d1741b00f4559c53c69ecdf0ca1c091426f1d7a6baa5ce69029dbecfc4a9dc9da9ee36b327cbef0ab28e80a9f64d34a2666c78
DIST lean-4.23.0.tar.gz 45087678 BLAKE2B f71b2f14d42471aea9eb2cc0bf03450afa8007ae7867f8ac9803031184ea0e7213bb9ac2a73d45153fe2b72b308552dd66868b846c9fcea20bb7abbe697aca37 SHA512 1f45448a28e2762ba071fabb0b217d2f96591bdfc7205600cc46ef4192941f7b9e15d86c703bd7e8ae3a92026f93ae5b2039ad5dc0c45abf2907e8ec14adb39d
DIST lean-4.24.0.tar.gz 46435872 BLAKE2B 6e5b40006a48976419ab31beadd24f98fd589972cec45053d11890301d317ffcc79493befa77dceda6fbc5f9238457aa31a3bc26fe06d95840130ef9a58dc80d SHA512 a8f407bdf581833b8cdf386fb7a8b89c0c52578af601f9a715b1ea604badc235bdb66fad96ace7592fcf5831b3c62eca6a843c3acb7907360725f992a37363eb