vscode-extensions.banacorn.agda-mode: 0.6.8 -> 0.8.0 (#503433)

2026-03-25 18:29:25 +00:00
parent 2abd9a1f54 adcf1f3483
commit 0f53ae7b03
1 changed files with 2 additions and 2 deletions
@@ -497,8 +497,8 @@ let
        mktplcRef = {
          publisher = "banacorn";
          name = "agda-mode";
-          version = "0.6.8";
-          hash = "sha256-rMRajooaU3W2tHhM3rBsRS0i5Ppp137m9yW9eIqLPos=";
+          version = "0.8.0";
+          hash = "sha256-2xYC+tStBXTL4koqUOcyxQUTDTipeUMTFLbrwqA6p7Q=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";