nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

maintainers: add jthulhu

Browse Source
This commit is contained in:
jthulhu 2024-11-11 08:33:54 +01:00
parent 4d9d042055
commit dd9dc00de2
No known key found for this signature in database
GPG Key ID: 58579DD230D9E279
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View File

@ -10929,6 +10929,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";

2
pkgs/by-name/le/lean4/package.nix
View File

@ -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";
};
})