From 8632688d6c2979b7717c589fff332ee3a4f6446d Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Wed, 21 Feb 2024 13:33:07 +0100
Subject: [PATCH] update agda-mode vscode extension

---
 common/vscode.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/common/vscode.nix b/common/vscode.nix
index 8c0ef6b..93df8a0 100755
--- a/common/vscode.nix
+++ b/common/vscode.nix
@@ -13,6 +13,7 @@
       bbenoist.nix
       mkhl.direnv
       catppuccin.catppuccin-vsc
+      valentjn.vscode-ltex
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "theme-panda";
@@ -23,8 +24,8 @@
       {
         name = "agda-mode";
         publisher = "banacorn";
-        version = "0.4.1";
-        sha256 = "sha256-Zt2OifhS5BI0HcMZkKOa1gqV9Vpj0lIUR6VcHvX5M9o=";
+        version = "0.4.7";
+        sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
       }
       {
         name = "yuck";