diff options
| author | Jakub Kozłowski <kubukoz@gmail.com> | 2022-02-03 04:47:16 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-02 21:14:55 -0800 |
| commit | 4f39313552307af3130a3cabee8d8967004a7a5f (patch) | |
| tree | 43eabc333880fdebfec328c4bb337c985596cda1 /pkgs | |
| parent | 9a81c40ce60b92068b7845257696919f09fb149f (diff) | |
vscode-extensions.alygin.vscode-tlaplus: 1.5.3 -> 1.5.4
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/misc/vscode-extensions/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/misc/vscode-extensions/default.nix b/pkgs/misc/vscode-extensions/default.nix index 72be3baa5b5bc..c785e43e37685 100644 --- a/pkgs/misc/vscode-extensions/default.nix +++ b/pkgs/misc/vscode-extensions/default.nix @@ -93,8 +93,8 @@ let mktplcRef = { name = "vscode-tlaplus"; publisher = "alygin"; - version = "1.5.3"; - sha256 = "1cy0qn8iyjrinscn9p5ckpsa2hyryapxfi7is6s2zk2mpligbb1d"; + version = "1.5.4"; + sha256 = "0mf98244z6wzb0vj6qdm3idgr2sr5086x7ss2khaxlrziif395dx"; }; meta = { license = lib.licenses.mit; |