{"name":"python313Packages.tree-sitter-grammars.tree-sitter-lean","version":"0+unstable20241225","summary":"Python bindings for tree-sitter-lean","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean"},"last_updated":"2026-10-08T19:21:32Z","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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean"},"last_updated":"2026-10-08T19:21:32Z","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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e1c1b84752fb0897897380a3cae9dc7fcab91ca3"},"attr_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"python313Packages.tree-sitter-grammars.tree-sitter-lean"},"last_updated":"2026-10-08T19:21:32Z","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"}]}}}