TIMESTAMP = 1727897287
SHA256 (leanprover-lean4-v4.12.0_GH0.tar.gz) = 409f623eb9044b3b025951415dfa0db531ed29056a5fba5d556394ad9435e62b
SIZE (leanprover-lean4-v4.12.0_GH0.tar.gz) = 27334919