summaryrefslogtreecommitdiff
path: root/math/lean/distinfo
blob: 5dc97b322c0677fe39e41a3df4bc5b0bb6e7c5ad (plain) (blame) 
1
2
3

TIMESTAMP = 1647111564
SHA256 (leanprover-community-lean-v3.41.0_GH0.tar.gz) = 1147d5cc990ea1d8c3a39df8e895a6401b12fe545dac984206fc024db3650f69
SIZE (leanprover-community-lean-v3.41.0_GH0.tar.gz) = 1905966
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-23 16:47:13 +0000