Commit 56911820 authored by Parrot7483's avatar Parrot7483
Browse files

vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1

parent fce47081

pkgs/applications/editors/vscode/extensions/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -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 → 100644
+17 −0
Original line number Diff line number Diff line 
{ 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 ];

  };

}