4 lines
206 B
Plaintext
4 lines
206 B
Plaintext
TIMESTAMP = 1631983261
|
|
SHA256 (leanprover-community-lean-v3.33.0_GH0.tar.gz) = bb9b4cc1a6516726433f51d181c5089ba1eb20c2e08dc7c48c9bd862008d4003
|
|
SIZE (leanprover-community-lean-v3.33.0_GH0.tar.gz) = 1890511
|