{"name":"python313Packages.tree-sitter-grammars.tree-sitter-lean","summary":"Python bindings for tree-sitter-lean","description":"","homepage_url":"","license":"MIT","attribute_paths":["python313Packages.tree-sitter-grammars.tree-sitter-lean"],"releases":[{"version":"0+unstable20241225","last_updated":"2026-10-04T07:06:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/hkaywir0qq1w46axdhg9ll21i30xcbz0-python3.13-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/ggd2mvr5s3irc8bm594y7al0c0w7xkcb-python3.13-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/w683pzypsiz9q9k892xnzjl5c2dl0vsf-python3.13-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/g20fw5y6zg3nzndx5jgma075akkr0n46-python3.13-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"e1c1b84752fb0897897380a3cae9dc7fcab91ca3","date":"2026-06-28T08:48:41Z","outputs":[{"name":"out","path":"/nix/store/7n153548d4wg99i5q4506xchzhcz3m2h-python3.13-python-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/rqga9iqickjizvix7asfj6n1mnd7z6sd-python3.13-python-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/v3n4am9xzb8zy5v3dlshj2155y4pbazs-python3.13-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/s3b2nbsnck9vh5d0zq0ryhvf1zd45a20-python3.13-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}