Commit 9d7fcbd0 authored by R. RyanTM's avatar R. RyanTM Committed by Masum Reza
Browse files

vscode-extensions.banacorn.agda-mode: 0.6.5 -> 0.6.6

parent deebeafd

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

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

          publisher = "banacorn";

          name = "agda-mode";

          version = "0.6.5";

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

          version = "0.6.6";

          hash = "sha256-QzFahhNXwfJQibmoAbBDes+/ZCb83oTAN2w96U5Mf8Y=";

        };

        meta = {

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