wget https://github.com/leanprover/lean/archive/v3.4.2.tar.gz