Upgrade extensions

This commit is contained in:
Smaug123
2022-01-16 22:59:35 +00:00
parent 135a036dd8
commit 49b4432235

View File

@@ -26,8 +26,8 @@ with pkgs.vscode-extensions; [
{
name = "rust-analyzer";
publisher = "matklad";
version = "0.2.867";
sha256 = "HYq8PuzchMwx0wd3SInitGzhNQe2biw2Njl+xdNuWjk=";
version = "0.3.904";
sha256 = "poprHSj19QVDaVynYXSypigsqLw5xDd629FUBSJrqdg=";
}
{
name = "vscode-lldb";
@@ -50,8 +50,8 @@ with pkgs.vscode-extensions; [
{
name = "lean";
publisher = "jroesch";
version = "0.16.41";
sha256 = "9fbeSIBSLcCQFekeGuGaYnut3eFm2oQVqJA4Y0Yfy5o=";
version = "0.16.44";
sha256 = "hjflz5JHVr1YWq6QI9DpdNPY1uL7lAuQTMAdwCtLEfY=";
}
{
name = "language-haskell";
@@ -80,8 +80,8 @@ with pkgs.vscode-extensions; [
{
name = "remote-containers";
publisher = "ms-vscode-remote";
version = "0.209.6";
sha256 = "SOYTUBY8EGLTYhNkQC56apAwgV0feCe9ydU8UOtRdbc=";
version = "0.212.0";
sha256 = "w7vQRwhqTXHnQDRVNUCMBdX/rP96IhL9ejn0uSTzyyw=";
}
{
name = "mono-debug";
@@ -107,4 +107,4 @@ with pkgs.vscode-extensions; [
version = "0.25.1";
sha256 = "1l01sv6kwh8dlv3kygkkd0z9m37hahflzd5bx1wwij5p61jg7np9";
}
]
]