vscode-extensions.banacorn.agda-mode: 0.6.1 -> 0.6.2

2025-07-22 02:44:11 +00:00
parent 77fc6c546b
commit fde642b08a
1 changed files with 2 additions and 2 deletions
@@ -493,8 +493,8 @@ let
        mktplcRef = {
          publisher = "banacorn";
          name = "agda-mode";
-          version = "0.6.1";
-          hash = "sha256-Hd4pIjIUT1lAx6bjPu7LLL4RakRkjUtQ91mPI7iiquQ=";
+          version = "0.6.2";
+          hash = "sha256-OQHNbzlTnpv2V5ICNTfAC1QM3bDnRgtJvgJKONxvU5M=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";