TIMESTAMP = 1779943497
SHA256 (leanprover-lean4-v4.30.0_GH0.tar.gz) = c11edd040d77be85865e41b4a37a77d14f824c07d8642434eb3561163f2afa5d
SIZE (leanprover-lean4-v4.30.0_GH0.tar.gz) = 70389698