cannot install mathlib

Stream: new members

[Victor Porton]

I installed Lean from .tar archive for Linux, did lean init and then cannot install mathlib:

$ leanpkg add git@github.com:leanprover-community/mathlib.git@master
mathlib.git@master: trying to update _target/deps/mathlib.git@master to revision lean-3.4.2
cannot find revision lean-3.4.2 in repository _target/deps/mathlib.git@master

[Adam Topaz]

The preferred installation method can be found on our community webpage here https://leanprover-community.github.io/get_started.html#regular-install