tree-sitter-grammars.tree-sitter-fstar: init at 0.1.0 (#499745)

2026-04-02 15:07:41 +00:00
parent a1fedc4754 05e36fdcca
commit 30363496eb
1 changed files with 13 additions and 0 deletions
@@ -736,6 +736,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";