vscode-extensions.banacorn.agda-mode: 0.8.0 -> 0.10.0 (#530396)

2026-06-26 12:14:57 +00:00
parent c0a70b12b8 7037f24083
commit 8e8cc23ccd
1 changed files with 2 additions and 2 deletions
@@ -497,8 +497,8 @@ let
        mktplcRef = {
          publisher = "banacorn";
          name = "agda-mode";
-          version = "0.8.0";
-          hash = "sha256-2xYC+tStBXTL4koqUOcyxQUTDTipeUMTFLbrwqA6p7Q=";
+          version = "0.10.0";
+          hash = "sha256-rz3Ehq/2AewE5ADYHVk8pHICSWO58i8v+nBwzkFkGCY=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";