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=O5lrh7QawKDwb8TULS68xCjxBsfCpHnTU-GYHEdi3_k,114
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/core.cpython-311-aarch64-linux-musl.so,sha256=Jf36uRP26nBR_3IFP1Z8s2yH5HsFbCembVcwOYfUlBo,185312
tree_sitter_languages/__init__.py,sha256=aql2ilNr7fHNyxHrAotc0U9xKcOGvcLJIHMYuh5F0go,270
