DIST lean-1.0.221.tar.gz 243501 BLAKE2B af65e41bb588f75191b4140ec0e6561a8b4d5c96c88da2c4cc67f5456be28915c5288f18d37d19f28f98c4b6de1dae8c8fae88480478efa5990e658e0dcc30e5 SHA512 45409070bb6c9c2b9e425874f143bada93ecb840951806ada57c35da9ad5c14bc9314f9edd63d304b073bc6b1c3db163004c69da40e318cb8f8f96a6cbd05af6 DIST lean-1.155.tar.gz 196943 BLAKE2B 1a749c1385472c9d2c05167a4615826585c83dec7dde3a3a6573d8bc95145772d24536e2e5273a8ee7a331a8ccf997a0b37e94038e3ec8b54056332a17048bdc SHA512 472b707cf5053b5e56a834798d440042c41c0f5fc98a24de46c5a667724875efeb0ee6a7df6a5adafedfce7e551904386e67592e81bfc9805776f1db0f0da5dd EBUILD lean-1.155.ebuild 1320 BLAKE2B c4ed5c3ef1174b975607958fd1dc93f5ee52e7f4e95df6ac0f744d140fbb2dd366ec62a7a077c021d1f6d67350f4a192e3d15db6d34998d7733f73fa70c6d599 SHA512 63d1eb65f69276b9f8224c863fa6d1fa73adaba0c47625a0c299123b2c62503595526f624d74556f8e43b3f1bf8111f95079b41b461bed3777afc3ccf97f5d75 MISC metadata.xml 250 BLAKE2B 2c1826692a57fc34172d2287536917d1bed0eab294a590a769caf13b71f79727ca1cbd7b2fbb6ba65164e477be04d1ba1f029d1441d11167c7282e47b47eb8d8 SHA512 6705fbef3cc4702ae20e4ffcffa99663fc11e3fb3eee7d95f1c86096e07e2a0a7f74ae91f8ef242034593d50078dbaa4018673a9ed49581886be49522e5829f3