TIMESTAMP = 1648348914
SHA256 (leanprover-community-lean-v3.42.1_GH0.tar.gz) = 5b8cbfdea6cf4de5488467297958876aa0b3a79ed5806f7d0f01a0c396beb4e2
SIZE (leanprover-community-lean-v3.42.1_GH0.tar.gz) = 1908398
