Commit 805ec1ee authored by R. RyanTM's avatar R. RyanTM
Browse files

vscode-extensions.banacorn.agda-mode: 0.6.3 -> 0.6.4

parent 91dc47bf

pkgs/applications/editors/vscode/extensions/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -493,8 +493,8 @@ let 
        mktplcRef = {

          publisher = "banacorn";

          name = "agda-mode";

          version = "0.6.3";

          hash = "sha256-ZyFY3pzNUUpdAB3lqys/z0NOUrQA/qmPquRPNFw/JAI=";

          version = "0.6.4";

          hash = "sha256-KBOVVVDw+72QSYv4jynqeVBdIfYz+T5hD2//royVJpw=";

        };

        meta = {

          changelog = "https://marketplace.visualstudio.com/items/banacorn.agda-mode/changelog";