From 05e36fdccadd2113c56e4c9caadf9a7072baa110 Mon Sep 17 00:00:00 2001
From: Seong Yong-ju <sei40kr@gmail.com>
Date: Sat, 14 Mar 2026 12:55:23 +0900
Subject: [PATCH] tree-sitter-grammars.tree-sitter-fstar: init at
 0-unstable-2026-03-14

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 .../tree-sitter/grammars/grammar-sources.nix        | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/pkgs/development/tools/parsing/tree-sitter/grammars/grammar-sources.nix b/pkgs/development/tools/parsing/tree-sitter/grammars/grammar-sources.nix
index d3dc2d7673a5..c7d8c9094116 100644
--- a/pkgs/development/tools/parsing/tree-sitter/grammars/grammar-sources.nix
+++ b/pkgs/development/tools/parsing/tree-sitter/grammars/grammar-sources.nix
@@ -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";