I hope this paragraph about `leanpkg` and `leanproject` can be made easier to find

[zjiekai]

All this means you need a Lean project manager. Your download at the very beginning does include such a tool, at bin/leanpkg. That one is written in Lean (you can see all the code in lib/lean/leanpkg/), so you already have all the required dependencies. However Lean, at least in its current series Lean 3.X.X, is not convenient at all to build a powerful project manager. So the Lean user community has build a more powerful project manager written in python: leanproject.

https://leanprover-community.github.io/toolchain.html#handling-dependencies

[PatrickMassot]

I have no idea what this issue means. The file you are quoting is indeed pretty hard to find since it targets very specific users who want to understand implementation details. But this paragraph in particular refers to tools that feature prominently everywhere else.

[zjiekai]

I don't have very specific improvement ideas either. Is it correct to assume that there will be no leanpkg new releases? Most future tooling development will happen at leanproject?

[PatrickMassot]

Technically leanpkg is released with each Lean release but nobody works on it.

[zjiekai]

Seems leanpkg does not have --version

[bryangingechen]

It's true that it's not versioned separately from lean itself. But you can check lean --version.

You can also see all commits changing leanpkg here or you can search the Lean 3 changelog for leanpkg here.