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=X4AgBJB4E79E43Tg6SF_0sC5IqxWhKxnciyQeHJPDzI,8475
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=EYxNEefsmlIy2iA0QSD8Zh_VQYwRJB1tQ0bm0pXcqRI,113
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-36m-aarch64-linux-gnu.so,sha256=Yuq_tEd30UIhWHlQoLRiaA85P-Pk1-ELCXA6CT-Uav8,169808
