Commit 7c85b6ad authored by Alexander Städing's avatar Alexander Städing Committed by Silvan Mosberger
Browse files

vscode-extensions.leanprover.lean4: init at 0.0.221

parent b32cea0c

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

+2 −0
Original line number Diff line number Diff line
@@ -2800,6 +2800,8 @@ let 
        };

      };



      leanprover.lean4 = callPackage ./leanprover.lean4 { };



      leonardssh.vscord = buildVscodeMarketplaceExtension {

        mktplcRef = {

          name = "vscord";

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

0 → 100644
+21 −0
Original line number Diff line number Diff line 
{

  lib,

  vscode-utils,

}:



vscode-utils.buildVscodeMarketplaceExtension {

  mktplcRef = {

    name = "lean4";

    publisher = "leanprover";

    version = "0.0.221";

    hash = "sha256-OoDM9PuhQBRln41OHdVbI8EcXaqIQPArnqgFt+63aJg=";

  };



  meta = {

    description = "This extension provides VS Code support for the Lean 4 theorem prover and programming language";

    downloadPage = "https://marketplace.visualstudio.com/items?itemName=leanprover.lean4";

    homepage = "https://github.com/leanprover/vscode-lean4";

    license = lib.licenses.asl20;

    maintainers = with lib.maintainers; [ alexstaeding ];

  };

}