tree_sitter_languages_lean.libs/libgcc_s-a04fdf82.so.1,sha256=E2_sw1FhiQZsCQiywTDdBDMlSUsazp7QUYpklMz_w_s,81256
tree_sitter_languages_lean.libs/libstdc++-a9383cce.so.6.0.28,sha256=AQF8xpA7y538aY2feICyHGJkLWgDpwHYribC_iWn8Bw,2447392
tree_sitter_languages/core.cpython-38-x86_64-linux-gnu.so,sha256=bOLZxcfnNjHFeE7Kz0JT4WymxmB4F-xGoMs1bJniFYs,217016
tree_sitter_languages/__init__.py,sha256=q_3Z_wOIREV2XWQSzUn3ZF4ievaa8ixg3s3FvBnaeJk,270
tree_sitter_languages/languages.so,sha256=q4aKT9exi7gOmH1hC2_HVQ3lb4epGt1Gj9FcWjJPmsU,33890104
tree_sitter_languages_lean-1.7.0.dist-info/LICENSE,sha256=p-khWTvpo1oB_ZC2zyMlUNxZiIIeYjcaOuy3E7DSdoo,575
tree_sitter_languages_lean-1.7.0.dist-info/WHEEL,sha256=CmoYo5s3yrNIxtHl5gPB81uIw7sGmWUZIX9rFW7I7e4,111
tree_sitter_languages_lean-1.7.0.dist-info/top_level.txt,sha256=1WmcNkOJg9xmImRjbeI-XQHXNsQox9gEShuMMeZC3jg,22
tree_sitter_languages_lean-1.7.0.dist-info/RECORD,,
tree_sitter_languages_lean-1.7.0.dist-info/METADATA,sha256=IKYyWmZU7zzpVmU6VQPXDyAZZIm4u_I9Fzherh1knUo,8466
