public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vscode-extensions.alygin.vscode-tlaplus: init at 1.5.3

This commit is contained in:
Jakub Kozłowski 2021-03-12 01:10:44 +01:00
parent 06733bcf29
commit db7a7e0015
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/misc/vscode-extensions/default.nix
View File

@ -48,6 +48,18 @@ let
};
};
alygin.vscode-tlaplus = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "vscode-tlaplus";
publisher = "alygin";
version = "1.5.3";
sha256 = "1cy0qn8iyjrinscn9p5ckpsa2hyryapxfi7is6s2zk2mpligbb1d";
};
meta = {
license = lib.licenses.mit;
};
};
antfu.icons-carbon = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "icons-carbon";