vscode-extensions.banacorn.agda-mode: 0.5.7 -> 0.6.0 (#419514)

2025-06-25 22:47:33 +02:00
parent 68ac8cfbf4 408b2523b4
commit 667c462bbe
1 changed files with 2 additions and 2 deletions
@@ -493,8 +493,8 @@ let
        mktplcRef = {
          publisher = "banacorn";
          name = "agda-mode";
-          version = "0.5.7";
-          hash = "sha256-Lif7fvR2fozQDko0G74/+UhTnlbFjGAQj5eb2IIH61I=";
+          version = "0.6.0";
+          hash = "sha256-C55ogw05iFmodYox/igaCu0MkEbvqpTPX1MSlcz8G50=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";