lean-cli: tất cả phiên bản và phiên bản cũ

Trang này liệt kê 1 phiên bản của lean-cli, từ đến phiên bản hiện tại 1.2.4. Mỗi phiên bản đều dẫn đến bộ cài chính thức của nhà phát hành.