dev-python/lean - Manifest: lean-1.155.tar.gz

Details

TypeDIST
Filelean-1.155.tar.gz
Size196943 bytes

Hashes

TypeValue
BLAKE2B1a749c1385472c9d2c05167a4615826585c83dec7dde3a3a6573d8bc95145772d24536e2e5273a8ee7a331a8ccf997a0b37e94038e3ec8b54056332a17048bdc
SHA512472b707cf5053b5e56a834798d440042c41c0f5fc98a24de46c5a667724875efeb0ee6a7df6a5adafedfce7e551904386e67592e81bfc9805776f1db0f0da5dd

Versions

Source URLs