Commit 0f407b75 authored by R. RyanTM's avatar R. RyanTM
Browse files

vscode-extensions.banacorn.agda-mode: 0.5.6 -> 0.5.7

parent ae4459d5

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

          hash = "sha256-FKcPJzdhK0QbaG3wBkdGOkiDkZ4qVJh3RBTnD4wLIh8=";

          version = "0.5.7";

          hash = "sha256-Lif7fvR2fozQDko0G74/+UhTnlbFjGAQj5eb2IIH61I=";

        };

        meta = {

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