Unverified Commit 2ea9433c authored by dish's avatar dish Committed by GitHub
Browse files

vscode-extensions.banacorn.agda-mode: 0.6.4 -> 0.6.5 (#436937)

parents 6dfd5e5f adc23de0

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.4";

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

          version = "0.6.5";

          hash = "sha256-fq3JiqdtYN9kAWDvu8X+2mlU5kj2RwUTPA4QF43vShQ=";

        };

        meta = {

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