Unverified Commit 8ead42fb authored by Pol Dellaiera's avatar Pol Dellaiera Committed by GitHub
Browse files

Adding maintainer for lean4 (#355144)

parents fa82eea0 dd9dc00d

maintainers/maintainer-list.nix

+6 −0
Original line number Diff line number Diff line
@@ -10947,6 +10947,12 @@ 
    githubId = 54635632;

    keys = [ { fingerprint = "4C68 56EE DFDA 20FB 77E8  9169 1964 2151 C218 F6F5"; } ];

  };

  jthulhu = {

    name = "Adrien Mathieu";

    email = "adrien.lc.mathieu@gmail.com";

    github = "jthulhu";

    githubId = 23179762;

  };

  jtobin = {

    email = "jared@jtobin.io";

    github = "jtobin";

pkgs/by-name/le/lean4/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -63,7 +63,7 @@ stdenv.mkDerivation (finalAttrs: { 
    changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.rev}/RELEASES.md";

    license = licenses.asl20;

    platforms = platforms.all;

    maintainers = with maintainers; [ danielbritten ];

    maintainers = with maintainers; [ danielbritten jthulhu ];

    mainProgram = "lean";

  };

})