git https://github.com/leanprover/lean4 lean4 v4.15.0 @PARENT_TAG@ v(.*) \1 zstd *.tar