TIMESTAMP = 1764606890
SHA256 (leanprover-lean4-v4.25.2-20251201-5e165e3_GH0.tar.gz) = 70c7265936d4d5393c9778a19d39620b4ce51c75cda1a0d3fbdef685996c5d3d
SIZE (leanprover-lean4-v4.25.2-20251201-5e165e3_GH0.tar.gz) = 48235866