vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 (#385058)

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;

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";

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 ];
+  };
+}