why install lean again when I run 'lake exe cache get'

Stream: lean4

[Yifan Bai]

I cloned a new project in my macbook, and I have already installed lean before. After I run 'lake exe cache get' in this project, why I need to download lean again? it tells me
info: downloading component 'lean'

[Kevin Buzzard]

There's lots of versions of lean, this is normal. Different projects use different versions.

[Yifan Bai]

Kevin Buzzard said:

There's lots of versions of lean, this is normal. Different projects use different versions.

Got it, thank you very much