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

python314Packages.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 python314Packages.tree-sitter-grammars.tree-sitter-lean@0+unstable20241225
systemsaarch64-darwin, aarch64-linux, x86_64-linux commita322c65bf7233456788a9ebf03bc067db7dc090a 
$ nix shell github:NixOS/nixpkgs/a322c65bf7233456788a9ebf03bc067db7dc090a#python314Packages.tree-sitter-grammars.tree-sitter-lean
systemsx86_64-darwin commite1c1b84752fb0897897380a3cae9dc7fcab91ca3 
$ nix shell github:NixOS/nixpkgs/e1c1b84752fb0897897380a3cae9dc7fcab91ca3#python314Packages.tree-sitter-grammars.tree-sitter-lean

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/80gbgn95vsdp0rlny098h7mwkmd9ngdj-python3.14-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/5msjk825mbzarazdnj0aqadrn6apiqg8-python3.14-tree-sitter-lean-0+unstable20241225-dist
aarch64-linux
Linux · arm64		 python314Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/gi92g01f7b8jcfq8r5wwr1ls1iyqy1g6-python3.14-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/ahnak3l69b9whihwjd3ny824c64dcpqw-python3.14-tree-sitter-lean-0+unstable20241225-dist
x86_64-darwin
macOS · x86-64		 python314Packages.tree-sitter-grammars.tree-sitter-lean e1c1b84752fb
out
/nix/store/yd8p1wbnznghy1whyrbrjvp3ahp6c3wp-python3.14-python-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/j2ji3whzvvs2apv5wvcbm1m9vq8s4yiz-python3.14-python-tree-sitter-lean-0+unstable20241225-dist
x86_64-linux
Linux · x86-64		 python314Packages.tree-sitter-grammars.tree-sitter-lean a322c65bf723
out
/nix/store/wkf3q0bza7ksmg7g7lbqc5cnklvpvbkx-python3.14-tree-sitter-lean-0+unstable20241225
dist (not default)
/nix/store/zfcl3j2ypg9rs61kz77x74xd21f89ani-python3.14-tree-sitter-lean-0+unstable20241225-dist
all 1 releases

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