tree_sitter_languages_lean.libs/libstdc++-fd9f4683.so.6.0.28,sha256=ABZJqq2QQ-As0idNvT9YzXNRmTj9R-S0pG8KMb0Odtk,2599041
tree_sitter_languages_lean.libs/libgcc_s-4e37474d.so.1,sha256=Slji658OikHg8crvAv4qrQOmCj7zqL5w890rL-a5jBM,134393
tree_sitter_languages_lean-1.8.0.dist-info/METADATA,sha256=rtoKbRZgZVPHwmb0I9jc9g9_bJka2lRqOihHWzM021E,8455
tree_sitter_languages_lean-1.8.0.dist-info/top_level.txt,sha256=1WmcNkOJg9xmImRjbeI-XQHXNsQox9gEShuMMeZC3jg,22
tree_sitter_languages_lean-1.8.0.dist-info/RECORD,,
tree_sitter_languages_lean-1.8.0.dist-info/WHEEL,sha256=BPeDRRlSfFAa2ag9dk1SHjK4VgWrnN7y5lewVkO-s5U,112
tree_sitter_languages_lean-1.8.0.dist-info/LICENSE,sha256=p-khWTvpo1oB_ZC2zyMlUNxZiIIeYjcaOuy3E7DSdoo,575
tree_sitter_languages/languages.so,sha256=8I3IPCqxnHIit_K_ppC3JlKju9by039Nc3Cbmei9ULM,53358881
tree_sitter_languages/__init__.py,sha256=aql2ilNr7fHNyxHrAotc0U9xKcOGvcLJIHMYuh5F0go,270
tree_sitter_languages/core.cpython-39-aarch64-linux-gnu.so,sha256=QPXqZIyN3wprqULzlEo0axNJKIcnVZY1NchyVvcs83w,188648
