From 49b44322352aa938823d4a5c5b6d08f2ceb53f7b Mon Sep 17 00:00:00 2001
From: Smaug123 <patrick+github@patrickstevens.co.uk>
Date: Sun, 16 Jan 2022 22:59:35 +0000
Subject: [PATCH] Upgrade extensions

---
 vscode-extensions.nix | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/vscode-extensions.nix b/vscode-extensions.nix
index d834086..71f41bb 100644
--- a/vscode-extensions.nix
+++ b/vscode-extensions.nix
@@ -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";
 }
-]
\ No newline at end of file
+]