6 lines
356 B
Plaintext
6 lines
356 B
Plaintext
TIMESTAMP = 1790373274
|
|
SHA256 (leanprover-lean4-v4.34.1_GH0.tar.gz) = 9bb0bed7bae752a281e9923163d50da4193e36480cf5f639658e2e1502294056
|
|
SIZE (leanprover-lean4-v4.34.1_GH0.tar.gz) = 87768894
|
|
SHA256 (microsoft-mimalloc-v3.4.4_GH0.tar.gz) = 8ba991a7266983bd5eefc36e140c24734f720fd9b1fd79ddaeff44ea85d16760
|
|
SIZE (microsoft-mimalloc-v3.4.4_GH0.tar.gz) = 1422232
|