3 lines
184 B
Text
3 lines
184 B
Text
TIMESTAMP = 1532330618
|
|
SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
|
|
SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434
|