dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #334111 from Coda-Coda/lean4-add-maintainer-danielbritten

Browse Source 
lean4: add maintainer danielbritten
This commit is contained in:
Peder Bergebakken Sundt 2024-08-13 18:35:25 +02:00 committed by GitHub
commit dd280ed35d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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

@ -4441,6 +4441,12 @@
githubId = 8081722;
name = "Daniel Barter";
};
danielbritten = {
email = "nixpkgs@danielb.space";
github = "Coda-Coda";
githubId = 5212453;
name = "Daniel Britten";
};
danieldk = {
email = "me@danieldk.eu";
github = "danieldk";

2
pkgs/applications/science/logic/lean4/default.nix
View File

@ -62,7 +62,7 @@ stdenv.mkDerivation (finalAttrs: {
changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.rev}/RELEASES.md";
license = licenses.asl20;
platforms = platforms.all;
maintainers = [ ];
maintainers = with maintainers; [ danielbritten ];
mainProgram = "lean";
};
})