summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/Manifest
blob: 38d4407cd6c95715078ccfb2ce97404e1137cb69 (plain) 
1

DIST lean-4.24.0.tar.gz 46435872 BLAKE2B 6e5b40006a48976419ab31beadd24f98fd589972cec45053d11890301d317ffcc79493befa77dceda6fbc5f9238457aa31a3bc26fe06d95840130ef9a58dc80d SHA512 a8f407bdf581833b8cdf386fb7a8b89c0c52578af601f9a715b1ea604badc235bdb66fad96ace7592fcf5831b3c62eca6a843c3acb7907360725f992a37363eb
generated by cgit v1.3 (git 2.53.0) at 2026-09-23 16:57:12 +0000