Unverified Commit 77cf670e authored by superherointj's avatar superherointj Committed by GitHub
Browse files

Merge pull request #320859 from Anillc/agda-mode 

vscode-extensions.banacorn.agda-mode: init at 0.4.7
parents 7f10e621 646211cd

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

+17 −0
Original line number Diff line number Diff line
@@ -484,6 +484,23 @@ let 
        };

      };



      banacorn.agda-mode = buildVscodeMarketplaceExtension {

        mktplcRef = {

          publisher = "banacorn";

          name = "agda-mode";

          version = "0.4.7";

          hash = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";

        };

        meta = {

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

          description = "agda-mode on VS Code";

          downloadPage = "https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode";

          homepage = "https://github.com/banacorn/agda-mode-vscode";

          maintainers = with lib.maintainers; [ Anillc ];

          license = lib.licenses.mit;

        };

      };



      batisteo.vscode-django = buildVscodeMarketplaceExtension {

        mktplcRef = {

          publisher = "batisteo";