{"name":"python314Packages.tree-sitter-grammars.tree-sitter-lean","summary":"Python bindings for tree-sitter-lean","description":"","homepage_url":"","license":"MIT","attribute_paths":["python314Packages.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":"python314Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/80gbgn95vsdp0rlny098h7mwkmd9ngdj-python3.14-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/5msjk825mbzarazdnj0aqadrn6apiqg8-python3.14-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/gi92g01f7b8jcfq8r5wwr1ls1iyqy1g6-python3.14-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/ahnak3l69b9whihwjd3ny824c64dcpqw-python3.14-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"e1c1b84752fb0897897380a3cae9dc7fcab91ca3","date":"2026-06-28T08:48:41Z","outputs":[{"name":"out","path":"/nix/store/yd8p1wbnznghy1whyrbrjvp3ahp6c3wp-python3.14-python-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/j2ji3whzvvs2apv5wvcbm1m9vq8s4yiz-python3.14-python-tree-sitter-lean-0+unstable20241225-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.tree-sitter-grammars.tree-sitter-lean","commit_hash":"a322c65bf7233456788a9ebf03bc067db7dc090a","date":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/wkf3q0bza7ksmg7g7lbqc5cnklvpvbkx-python3.14-tree-sitter-lean-0+unstable20241225","default":true},{"name":"dist","path":"/nix/store/zfcl3j2ypg9rs61kz77x74xd21f89ani-python3.14-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}]}