From fce47081bc70d1b2aa9a4093b49a7d4d43c16320 Mon Sep 17 00:00:00 2001
From: Parrot7483 <parrot7483@pm.me>
Date: Sat, 1 Mar 2025 23:20:35 +0100
Subject: [PATCH 1/2] maintainers: add parrot7483

---
 maintainers/maintainer-list.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index e5c5c781d5a1..9f7a5380d097 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -17924,6 +17924,12 @@
     githubId = 33826198;
     name = "Philipp Arras";
   };
+  parrot7483 = {
+    email = "parrot7483@pm.me";
+    github = "Parrot7483";
+    githubId = 47054801;
+    name = "Parrot7483";
+  };
   parth = {
     github = "parth";
     githubId = 821972;

From 56911820a7d468957eb43e62a04b3d187d267c27 Mon Sep 17 00:00:00 2001
From: Parrot7483 <parrot7483@pm.me>
Date: Sun, 2 Mar 2025 20:24:34 +0100
Subject: [PATCH 2/2] vscode-extensions.fstarlang.fstar-vscode-assistant: init
 at 0.17.1

---
 .../editors/vscode/extensions/default.nix       |  2 ++
 .../default.nix                                 | 17 +++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix

diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix
index 8fbb7a79ad01..25c7c083a85d 100644
--- a/pkgs/applications/editors/vscode/extensions/default.nix
+++ b/pkgs/applications/editors/vscode/extensions/default.nix
@@ -1997,6 +1997,8 @@ let
         };
       };
 
+      fstarlang.fstar-vscode-assistant = callPackage ./fstarlang.fstar-vscode-assistant { };
+
       funkyremi.vscode-google-translate = buildVscodeMarketplaceExtension {
         mktplcRef = {
           publisher = "funkyremi";
diff --git a/pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix b/pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix
new file mode 100644
index 000000000000..2390eef07340
--- /dev/null
+++ b/pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix
@@ -0,0 +1,17 @@
+{ lib, vscode-utils }:
+
+vscode-utils.buildVscodeMarketplaceExtension {
+  mktplcRef = {
+    name = "fstar-vscode-assistant";
+    publisher = "FStarLang";
+    version = "0.17.1";
+    hash = "sha256-8Lbb1XPtcd6JHZnlLRQggbVJfynJaK2DQ/XhHy+3joE=";
+  };
+  meta = {
+    description = "An interactive editing mode VS Code extension for F*";
+    downloadPage = "https://marketplace.visualstudio.com/items?itemName=FStarLang.fstar-vscode-assistant";
+    homepage = "https://github.com/FStarLang/fstar-vscode-assistant";
+    license = lib.licenses.mit;
+    maintainers = [ lib.maintainers.parrot7483 ];
+  };
+}