DIST tree_sitter_languages_lean-1.8.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl 4651327 BLAKE2B ff0c5ebcd7de3fd40aa6e55fb76d1aeb94a48afbba0c78355c544547cdd62bd4847cfe9dcb7ed17d2d45e779593cbf9684f452fed33e9ace8a4c98283c713514 SHA512 5fd51e24f94efca2403cf9e3ec736af7c14a6649b4f3c39231c5af5e8c12affdda309e7f8ffb8d83d94eee544fcc66196345a3d48f90de0e959d3b1bf5661494 EBUILD tree-sitter-languages-lean-1.8.0.ebuild 894 BLAKE2B 71aae3103a988de577e772b6f48bd7884d3f58ffb9a14cbf0c75cde5ad8a042d94cf642978c83f3b7b6b43ff5c207666caa646db39c2f346b1ab697ac2727da3 SHA512 755a5a4768baff560d864e2aff610da3a131b7de1f78e16240b22261bd3316083530d5ff7bd15523cdf874b1de0d25a241496d6be3fe8f857f825f9c1c56c2d2 MISC metadata.xml 250 BLAKE2B 2c1826692a57fc34172d2287536917d1bed0eab294a590a769caf13b71f79727ca1cbd7b2fbb6ba65164e477be04d1ba1f029d1441d11167c7282e47b47eb8d8 SHA512 6705fbef3cc4702ae20e4ffcffa99663fc11e3fb3eee7d95f1c86096e07e2a0a7f74ae91f8ef242034593d50078dbaa4018673a9ed49581886be49522e5829f3