TIMESTAMP = 1717688258
SHA256 (leanprover-lean4-v4.8.0_GH0.tar.gz) = 3bb46c24b4f5ad1fee38163bf466d8f60a334bb64a19c9801a42f76162580f9c
SIZE (leanprover-lean4-v4.8.0_GH0.tar.gz) = 20345135