Unverified Commit 491ffd27 authored by Silvan Mosberger's avatar Silvan Mosberger Committed by GitHub
Browse files

vscode-extensions.leanprover.lean4: init at 0.0.221 (#462241)

parents 3795cf32 7c85b6ad

maintainers/maintainer-list.nix

+13 −0
Original line number Diff line number Diff line
@@ -1230,6 +1230,19 @@ 
    githubId = 3017212;

    name = "Alex S. Kaye";

  };

  alexstaeding = {

    email = "alex@staeding.com";

    github = "alexstaeding";

    githubId = 24614463;

    keys = [

      # Primary key

      { fingerprint = "AE72 51E3 A241 ECDA FB6B  F59D 4399 191B 9DD5 FABA"; }

      # Subkey

      { fingerprint = "F352 C405 5653 B943 0FE0  341A E4B4 7D6A 9A56 73CD"; }

    ];

    matrix = "@alexstaeding:matrix.org";

    name = "Alexander Städing";

  };

  alexvorobiev = {

    email = "alexander.vorobiev@gmail.com";

    github = "alexvorobiev";

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 ];

  };

}