4 lines
189 B
Plaintext
4 lines
189 B
Plaintext
TIMESTAMP = 1755740882
|
|
SHA256 (leanprover-lean4-v4.22.0_GH0.tar.gz) = 625aa7b9916b0dd9dd5c0a0f9b76d4921cc837528e799bd9ced8c6685c27651b
|
|
SIZE (leanprover-lean4-v4.22.0_GH0.tar.gz) = 38212555
|