gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tree-sitter-grammars.tree-sitter-fstar: init at 0-unstable-2026-03-14

Browse Source 
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
Seong Yong-ju
2026-03-14 18:00:59 +09:00
co-authored by Claude Opus 4.6
parent a500004e25
commit 05e36fdcca
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/tools/parsing/tree-sitter/grammars/grammar-sources.nix
+13
View File
@@ -726,6 +726,19 @@
};
};
fstar = {
version = "0-unstable-2026-03-14";
url = "github:sei40kr/tree-sitter-fstar";
rev = "cdb06d462e0ee727c313f3e07c71bc2d288e0f89";
hash = "sha256-kGFP+MbZ10qS13n8pcI6YhIS6xWjDtuqZSeIiPSO7pM=";
meta = {
license = lib.licenses.mit;
maintainers = with lib.maintainers; [
sei40kr
];
};
};
gas = {
version = "0.0.1-unstable-2023-09-15";
url = "github:sirius94/tree-sitter-gas";