https://pypi.org/project/tree-sitter-languages-lean/ Recent updates to the Python Package Index for tree-sitter-languages-lean en https://pypi.org/project/tree-sitter-languages-lean/1.8.0/ Binary Python wheels for all tree sitter languages. contact@grantjenks.com, dorukhan.tokay@trilogy.com Mon, 01 May 2023 19:45:23 GMT https://pypi.org/project/tree-sitter-languages-lean/1.7.0/ Binary Python wheels for all tree sitter languages. contact@grantjenks.com, dorukhan.tokay@trilogy.com Mon, 10 Apr 2023 17:17:39 GMT