pyrox.dev / nixpkgs
lol
fork atom

vscode-extensions.fstarlang.fstar-vscode-assistant: 0.19.2 -> 0.20.0

R. Ryantm 60b122fb a50c9f77

+2 -2
unified split
+2 -2
pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/default.nix
··· 4 mktplcRef = { 5 name = "fstar-vscode-assistant"; 6 publisher = "FStarLang"; 7 - version = "0.19.2"; 8 - hash = "sha256-4EerlsxIBjKIpeSS388Nw40eD5tBL+cN5uNAsfu+gio="; 9 }; 10 meta = { 11 description = "Interactive editing mode VS Code extension for F*";
··· 4 mktplcRef = { 5 name = "fstar-vscode-assistant"; 6 publisher = "FStarLang"; 7 + version = "0.20.0"; 8 + hash = "sha256-GVlXzKXZmkewRIAHPpiHQsHFfPlNI2GswBdhfFtzgrA="; 9 }; 10 meta = { 11 description = "Interactive editing mode VS Code extension for F*";