sci-mathematics/lean - Manifest: lean-4.24.0.tar.gz

Details

TypeDIST
Filelean-4.24.0.tar.gz
Size46435872 bytes

Hashes

TypeValue
BLAKE2B6e5b40006a48976419ab31beadd24f98fd589972cec45053d11890301d317ffcc79493befa77dceda6fbc5f9238457aa31a3bc26fe06d95840130ef9a58dc80d
SHA512a8f407bdf581833b8cdf386fb7a8b89c0c52578af601f9a715b1ea604badc235bdb66fad96ace7592fcf5831b3c62eca6a843c3acb7907360725f992a37363eb

Versions

Source URLs