aboutsummaryrefslogtreecommitdiff
path: root/math/lean/distinfo
blob: 29ac9770c6e603899e3ed3536f6d9aa68de63a0e (plain) (blame) 
1
2
3

TIMESTAMP = 1644423828
SHA256 (leanprover-community-lean-v3.39.1_GH0.tar.gz) = 7a4179dbfe90317ad19a7fde76dfd38fb0f2ed24e08208b1ebee6b98b8396063
SIZE (leanprover-community-lean-v3.39.1_GH0.tar.gz) = 1878481
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 05:41:44 +0000