Unverified Commit 20ca9466 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

vscode-extensions.fstarlang.fstar-vscode-assistant: 0.23.1 -> 0.24.0 (#489827)

parents 87db91dc 73f7e9b3

pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -4,8 +4,8 @@ vscode-utils.buildVscodeMarketplaceExtension { 
  mktplcRef = {

    name = "fstar-vscode-assistant";

    publisher = "FStarLang";

    version = "0.23.1";

    hash = "sha256-AwYR74qyoEsn+LixmFwqzwA6yM0MBtWU4SKcxslNSOk=";

    version = "0.24.0";

    hash = "sha256-2XFisNp/TvkBNytzs56kdMnaZTX6f1qWp1k59uLwcuE=";

  };

  meta = {

    description = "Interactive editing mode VS Code extension for F*";