diff options
| author | Jakub Kozłowski <kubukoz@gmail.com> | 2021-03-12 01:10:44 +0100 |
|---|---|---|
| committer | Jakub Kozłowski <kubukoz@gmail.com> | 2021-03-25 19:11:59 +0100 |
| commit | db7a7e0015ae26507e322d7bdce65e60f3c0b421 (patch) | |
| tree | e903b37b659b672a5c316adf07a646c2acb7e311 /pkgs/misc | |
| parent | 06733bcf290555154666410f2fb30ee4a2aba6c0 (diff) | |
vscode-extensions.alygin.vscode-tlaplus: init at 1.5.3
Diffstat (limited to 'pkgs/misc')
| -rw-r--r-- | pkgs/misc/vscode-extensions/default.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/misc/vscode-extensions/default.nix b/pkgs/misc/vscode-extensions/default.nix index 533c2e3f4a03..530eb00c87f7 100644 --- a/pkgs/misc/vscode-extensions/default.nix +++ b/pkgs/misc/vscode-extensions/default.nix @@ -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"; |