TIMESTAMP = 1746632807
SHA256 (leanprover-lean4-v4.20.0-rc5_GH0.tar.gz) = aaddadf237e16bdb2fd06987315f4af0791dfa965a924511087865d441b80ec6
SIZE (leanprover-lean4-v4.20.0-rc5_GH0.tar.gz) = 40328367