TIMESTAMP = 1548236438
SHA256 (leanprover-lean-v3.4.2_GH0.tar.gz) = ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
SIZE (leanprover-lean-v3.4.2_GH0.tar.gz) = 1807616