From 95183e4e6045371a3757afe109fae209293f350b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 13 Feb 2021 16:42:21 +0100
Subject: [PATCH] chore: Nix: update vscode-lean4 to 0.0.6

---
 nix/packages.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nix/packages.nix b/nix/packages.nix
index e0e6dc55bb..e0342c87ae 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -59,8 +59,8 @@ let
   vscode-lean4 = vscode-utils.extensionFromVscodeMarketplace {
       name = "lean4";
       publisher = "mhuisi";
-      version = "0.0.3";
-      sha256 = "sha256-jbsSp/GU3BihcmrfwUHlTHSo9T5ASm9O45i0McyjFs8=";
+      version = "0.0.6";
+      sha256 = "sha256-C60HfnfidtB8rUc2Waz2pDckdurX3ri9d2Yez34AfEI=";
   };
   lean-vscode = vscode-with-extensions.override {
     vscodeExtensions = [ vscode-lean4 ];