/pypi/web/packages/1d/48/3446d1816829f91dc6daf7688c5fd5c958bbef50d7c7acc00b7cfec2e93c/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
tree_sitter_languages_lean-1.8.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl4.4 MiB2023/05/02 03:45:43