TIMESTAMP = 1615913985
SHA256 (leanprover-community-lean-v3.28.0_GH0.tar.gz) = dbd16d919a2b5e1be4ff63667ceb56b24491d8594a2eebe05b7f9b512fc8a528
SIZE (leanprover-community-lean-v3.28.0_GH0.tar.gz) = 1869924