nixsearch
nixsearch / pkg / python313Packages.tree-sitter-grammars.tree-sitter-lean / 0+unstable20241225

python313Packages.tree-sitter-grammars.tree-sitter-lean 0+unstable20241225

Python bindings for tree-sitter-lean
Linux and macOS last changed outputs: out, dist

Pin this version

$ devbox add python313Packages.tree-sitter-grammars.tree-sitter-lean@0+unstable20241225
systemsaarch64-darwin, aarch64-linux, x86_64-linux commita322c65bf7233456788a9ebf03bc067db7dc090a 
$ nix shell github:NixOS/nixpkgs/a322c65bf7233456788a9ebf03bc067db7dc090a#python313Packages.tree-sitter-grammars.tree-sitter-lean
systemsx86_64-darwin commite1c1b84752fb0897897380a3cae9dc7fcab91ca3 
$ nix shell github:NixOS/nixpkgs/e1c1b84752fb0897897380a3cae9dc7fcab91ca3#python313Packages.tree-sitter-grammars.tree-sitter-lean

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/hkaywir0qq1w46axdhg9ll21i30xcbz0-python3.13-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/ggd2mvr5s3irc8bm594y7al0c0w7xkcb-python3.13-tree-sitter-lean-0+unstable20241225-dist
aarch64-linux
Linux · arm64		 python313Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/w683pzypsiz9q9k892xnzjl5c2dl0vsf-python3.13-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/g20fw5y6zg3nzndx5jgma075akkr0n46-python3.13-tree-sitter-lean-0+unstable20241225-dist
x86_64-darwin
macOS · x86-64		 python313Packages.tree-sitter-grammars.tree-sitter-lean e1c1b84752fb
out
/nix/store/7n153548d4wg99i5q4506xchzhcz3m2h-python3.13-python-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/rqga9iqickjizvix7asfj6n1mnd7z6sd-python3.13-python-tree-sitter-lean-0+unstable20241225-dist
x86_64-linux
Linux · x86-64		 python313Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/v3n4am9xzb8zy5v3dlshj2155y4pbazs-python3.13-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/s3b2nbsnck9vh5d0zq0ryhvf1zd45a20-python3.13-tree-sitter-lean-0+unstable20241225-dist
all 1 releases

JSON: /v2/pkg?name=python313Packages.tree-sitter-grammars.tree-sitter-lean · /v2/resolve?name=python313Packages.tree-sitter-grammars.tree-sitter-lean&version=0%2Bunstable20241225