vscode-extensions.banacorn.agda-mode: 0.6.7 -> 0.6.8

2026-02-13 11:21:21 +00:00
parent b58b6cc8d8
commit 36cf37b08f
1 changed files with 2 additions and 2 deletions
@@ -497,8 +497,8 @@ let
        mktplcRef = {
          publisher = "banacorn";
          name = "agda-mode";
-          version = "0.6.7";
-          hash = "sha256-G8zAFEMM+fsndBjySkQpRlEj9+EGmMNTTI9AUIoMWR0=";
+          version = "0.6.8";
+          hash = "sha256-rMRajooaU3W2tHhM3rBsRS0i5Ppp137m9yW9eIqLPos=";
        };
        meta = {
          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";